[Polyspace Codeprover] incompatible issue

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


Christian Bard
Christian Bard 2022년 5월 24일
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!