Martin Walker

Last seen: 2 years 前 | 自 2021 起处于活动状态

Followers: 0 Following: 0

统计学

Feeds

提问

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

3 years 前 | 1 个回答 | 0

1

个回答

提问

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 前 | 1 个回答 | 0

1

个回答