[Polyspace Codeprover] incompatible issue

Code prover 실행시 아래와 같은 경고 이후 진행되지 않습니다.

버전 차이 같은데.. 혹시 컴파일러를 업데이트 하거나 다른 해결 방안이 있을까요?

Answer 1

[Christian Bard]

When using Polyspace on a C++ application, it is recommended to use polyspace-configure. See also ref doc for deeper information about options.

it allows to sniff the build command and create a configuratoion file in an automatic way. If you are not able to use polyspace-configure, would you please contact Technical Support and provide complete results folder.