how to do polyspace static analysis using CLI
8 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
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.
0 Commenti
Risposte (1)
Anirban
il 23 Ago 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.
0 Commenti
Vedere anche
Categorie
Scopri di più su Troubleshooting in Polyspace Products for Ada in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!