photo

Wojciech


Last seen: 2 months ago Active since 2023

Followers: 0   Following: 0

Statistics

  • Thankful Level 1

View badges

Feeds

View by

Question


Polyspace compilation fails when it should give only a warning. How to suppress it?
I want to fix discrepancies between Poly Bug Finder and compiler used for actual program. My options are: -lang C -compiler k...

8 months ago | 1 answer | 0

1

answer