[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!