[Polyspace Codeprover] incompatible issue

2 views (last 30 days)
영수 여
영수 여 on 4 May 2022
Answered: Christian Bard on 24 May 2022
Code prover 실행시 아래와 같은 경고 이후 진행되지 않습니다.
버전 차이 같은데.. 혹시 컴파일러를 업데이트 하거나 다른 해결 방안이 있을까요?

Answers (1)

Christian Bard
Christian Bard on 24 May 2022
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.




Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!