필터 지우기
필터 지우기

how to do polyspace static analysis using CLI

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