Community Profile

photo

Martin Walker


Last seen: más de 2 años hace Con actividad desde 2021

Followers: 0   Following: 0

Estadísticas

  • Thankful Level 2
  • Thankful Level 1

Ver insignias

Feeds

Ver por

Pregunta


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...

más de 2 años hace | 1 respuesta | 0

1

respuesta

Pregunta


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...

casi 3 años hace | 1 respuesta | 0

1

respuesta