Borrar filtros
Borrar filtros

how to do polyspace static analysis using CLI

10 visualizaciones (últimos 30 días)
basheerahmad shaik
basheerahmad shaik el 16 de Ag. de 2023
Respondida: Anirban el 23 de Ag. de 2023
while using few commands I am getting these errors.
Command line error: no sources given (default directory "sources" empty).
Command line error: Error(s) during options parsing.
| Launch polyspace-code-prover -h to get help
| or type polyspaceCodeProver -h in the MATLAB command prompt.

Iniciar sesión para responder a esta pregunta.

Respuestas (1)

Anirban
Anirban el 23 de Ag. de 2023
You have to use the option -sources to specify your sources. Otherwise, polyspace-code-prover looks for sources in the current folder. See Run Polyspace Analysis from Command Line.

Categorías

Más información sobre Troubleshooting in Polyspace Products for Ada en Help Center y File Exchange.

Etiquetas

Community Treasure Hunt

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

Start Hunting!

Translated by