Community Profile

photo

Martin Walker


Last seen: 2 years ago Active since 2021

Followers: 0   Following: 0

Statistics

  • Thankful Level 2
  • Thankful Level 1

View badges

Feeds

View by

Question


Polyspace Bug Finder ignores #if when checking macro values.
I'm running a Polyspace Bug Finder analysis on some CPP code, with the following macro defined (via Configuration -> Macros): C...

2 years ago | 1 answer | 0

1

answer

Question


Is Polyspace R2020b Bug Finder and Code Prover compatible with C++ in Visual Studio 2019 (16.7.3)?
Hi, I'm attempting to use Polyspace 2020b Bug Finder and Code Prover on some large Visual Studio 2019 C++ projects but I ran int...

3 years ago | 1 answer | 0

1

answer