How to change timeout parameter for Bug Finder module analysis?
Ältere Kommentare anzeigen
So it seems the current timeout values for Function Analysis is 3600 seconds and Module Analysis is 7200 seconds. How can I change these values? I added -timeout to a polyspace-bug-finder-nodesktop run but it didn't change anything.
1 Kommentar
Dylan Erickson
am 11 Apr. 2017
Akzeptierte Antwort
Gary
am 13 Apr. 2017
0 Stimmen
There's no official option to specify timeout value for Polyspace Bug Finder. The option, -timeout is for Polyspace Code Prover only.
Weitere Antworten (0)
Kategorien
Mehr zu Run Settings finden Sie in Hilfe-Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
