Why Does the Polyspace Analysis Terminate Early?

When executing Polyspace Code Prover, I specified the "-to" flag to have a value of "pass4". My understanding is that this means that Polyspace will run through Software Safety Analysis level 4.

I noticed, however, that Polyspace completed its execution after Software Safety Analysis level 1.

Why did the Polyspace analysis terminate early?

Answer 1

[MathWorks Support Team]

It turns out, that this behavior is often a result of the fact, that Polyspace is able to conclude, that completing more levels of analysis will not improve the precision of the results.

Because of this, Polyspace decides to end the analysis early.