Why do I get an error when trying to set SQO levels for a Polyspace Code Prover project via command line using polyspace-​results-re​pository.e​xe in R2019a?

조회 수: 5 (최근 30일)
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
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개)

태그

아직 태그를 입력하지 않았습니다.

제품


릴리스

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by