Filter löschen
Filter löschen

how to do polyspace static analysis using CLI

8 Ansichten (letzte 30 Tage)
basheerahmad shaik
basheerahmad shaik am 16 Aug. 2023
Beantwortet: Anirban am 23 Aug. 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.

Melden Sie sich an, um diese Frage zu beantworten.

Antworten (1)

Anirban
Anirban am 23 Aug. 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.

Kategorien

Mehr zu Troubleshooting in Polyspace Products for Ada finden Sie in Help Center und File Exchange

Tags

Community Treasure Hunt

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

Start Hunting!

Translated by