how to do polyspace static analysis using CLI

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.

Answer 1

[Anirban]

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.