[Polyspace codsprover] error -enable-concurrency-detection cannot be used
4 ビュー (過去 30 日間)
古いコメントを表示
현재 개발 중인 c/c++ based 라이브러리를 Polyspace code prover 를 이용해하여 검사를 진행하려 하고 있습니다.
Bug Finder Analysis에서 사용했던 동일한 설정 값으로 Configuration에서 Verify library 를 설정 후 실행을 하면 아래와 같은 오류가 나옵니다.
혹시 추가로 설정해주어야 하는 부분이 있을까요?
回答 (1 件)
Christian Bard
2022 年 5 月 24 日
I recommend to contact Technical Support with a complete log file. A way to reproduce would be increase resolution of the case.
0 件のコメント
参考
カテゴリ
Help Center および File Exchange で Multitasking についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!