Error: Exiting because of previous error

Dear Team,

Getting error 'Error: Exiting because of previous error' while running polyspace code prover.

Kindly Help and let me know how to resolve this error.

Answer 1

[Anirban]

There should be a previous error on the Output Summary pane. You can also see the full analysis log and find the previous error. All errors in the log begin with Error:

If you are running the analysis from the Polyspace user interface, select Window > Show/Hide View > Run Log to see the full log. If you are running at the command line, the full log appears by default.