[Polyspace Codeprover] incompatible issue

1 次查看（过去 30 天）
영수 여
영수 여 2022-5-4
回答： Christian Bard 2022-5-24
Code prover 실행시 아래와 같은 경고 이후 진행되지 않습니다.
버전 차이 같은데.. 혹시 컴파일러를 업데이트 하거나 다른 해결 방안이 있을까요?

请先登录，再回答此问题。

回答（1 个）

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.

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品


版本

R2019b

Community Treasure Hunt

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

Start Hunting!