Why Does the Polyspace Analysis Terminate Early?
Ältere Kommentare anzeigen
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?
Akzeptierte Antwort
MathWorks Support Team
am 29 Jan. 2019
1 Stimme
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.
Weitere Antworten (0)
Kategorien
Mehr zu Polyspace Code Prover finden Sie in Hilfe-Center und File Exchange
am 29 Jan. 2019
am 6 Mär. 2019
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
