how to do polyspace static analysis using CLI

9 次查看（过去 30 天）
basheerahmad shaik
basheerahmad shaik 2023-8-16
回答： Anirban 2023-8-23
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.

请先登录，再回答此问题。

回答（1 个）

Anirban
Anirban 2023-8-23
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.

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by