how to do polyspace static analysis using CLI

조회 수: 4 (최근 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