[Polyspace Codeprover] incompatible issue
2 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
Code prover 실행시 아래와 같은 경고 이후 진행되지 않습니다.
버전 차이 같은데.. 혹시 컴파일러를 업데이트 하거나 다른 해결 방안이 있을까요?
0 Commenti
Risposte (1)
Christian Bard
il 24 Mag 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.
0 Commenti
Vedere anche
Categorie
Scopri di più su Run Settings in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!