[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에서 Run Settings에 대해 자세히 알아보기

태그

제품


릴리스

R2019b

Community Treasure Hunt

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

Start Hunting!