Why do I get an error when trying to set SQO levels for a Polyspace Code Prover project via command line using polyspace-results-repository.exe in R2019a?
조회 수: 5 (최근 30일)
이전 댓글 표시
MathWorks Support Team
2020년 1월 22일
편집: MathWorks Support Team
2020년 1월 23일
Why do I get the below error when trying to set SQO levels for a Polyspace Code Prover project, like
"%MATLAB_root%\polyspace\bin\polyspace-results-repository.exe" -set-sqo-id SQO-4 -product CodeProver -verif-version 1.0 -server my-server -prog OS_EEPROM3
that Iuploaded right before using
"%MATLAB_root%\polyspace\bin\polyspace-results-repository.exe" -upload ...
!!! Error setting SQO Level for results:
Error: No run found matching criteria.
채택된 답변
MathWorks Support Team
2020년 1월 24일
There is an option missing in the command line : -unit-by-unit
If the Code Prover project is a unit-by-unit project this option has to be added for the command to match the right project.
For your example:
"%MATLAB_root%\polyspace\bin\polyspace-results-repository.exe" -set-sqo-id SQO-4 -product CodeProver -verif-version 1.0 -unit-by-unit -server my-server -prog OS_EEPROM3
댓글 수: 0
추가 답변 (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!