How to change timeout parameter for Bug Finder module analysis?

3 visualizzazioni (ultimi 30 giorni)
Dylan Erickson
Dylan Erickson il 4 Apr 2017
Risposto: Gary il 13 Apr 2017
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.

Accedi per rispondere a questa domanda.

Risposta accettata

Gary
Gary il 13 Apr 2017
There's no official option to specify timeout value for Polyspace Bug Finder. The option, -timeout is for Polyspace Code Prover only.
Please refer this link, Verification time limit (-timeout)

Più risposte (0)

Categorie

Scopri di più su Run Settings in Help Center e File Exchange

Tag

Prodotti

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by