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?
1 visualización (últimos 30 días)
Mostrar comentarios más antiguos
MathWorks Support Team
el 22 de En. de 2020
Editada: MathWorks Support Team
el 23 de En. de 2020
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.
Respuesta aceptada
MathWorks Support Team
el 24 de En. de 2020
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 comentarios
Más respuestas (0)
Ver también
Categorías
Más información sobre Multitasking en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!