how to do polyspace static analysis using CLI

5 次查看（过去 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 中查找有关 Polyspace Code Prover 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by