how to do polyspace static analysis using CLI

10 vues (au cours des 30 derniers jours)

Afficher commentaires plus anciens

basheerahmad shaik le 16 Août 2023

0
Lien

Utiliser le lien direct vers cette question

https://fr.mathworks.com/matlabcentral/answers/2009227-how-to-do-polyspace-static-analysis-using-cli

Réponse apportée : Anirban le 23 Août 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.

0 commentaires
Afficher -2 commentaires plus anciensMasquer -2 commentaires plus anciens

Connectez-vous pour commenter.

Connectez-vous pour répondre à cette question.

Réponses (1)

Anirban le 23 Août 2023

0
Lien

Utiliser le lien direct vers cette réponse

https://fr.mathworks.com/matlabcentral/answers/2009227-how-to-do-polyspace-static-analysis-using-cli#answer_1292497

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 commentaires
Afficher -2 commentaires plus anciensMasquer -2 commentaires plus anciens

Connectez-vous pour commenter.

Connectez-vous pour répondre à cette question.

Catégories

Code Verification Polyspace Products for Ada Troubleshooting in Polyspace Products for Ada

En savoir plus sur Troubleshooting in Polyspace Products for Ada dans Help Center et File Exchange

Community Treasure Hunt

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

Start Hunting!

Translated by