How to change timeout parameter for Bug Finder module analysis?
Mostra commenti meno recenti
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 Commento
Dylan Erickson
il 11 Apr 2017
Risposta accettata
Gary
il 13 Apr 2017
0 voti
There's no official option to specify timeout value for Polyspace Bug Finder. The option, -timeout is for Polyspace Code Prover only.
Più risposte (0)
Categorie
Scopri di più su Run Settings in Centro assistenza e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
