How to change timeout parameter for Bug Finder module analysis?

4 Avr 2017
1 Réponse
Réponse acceptée
Mise à jour 13 Avr 2017
18 Vues (30 jours)

0 votes

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.

Connectez-vous pour répondre à cette question.

 Réponse acceptée

Gary
Gary le 13 Avr 2017

0 votes

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)

Plus de réponses (0)

Catégories

En savoir plus sur Run Settings dans Centre d'aide et File Exchange

Produits

Tags

Community Treasure Hunt

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

Start Hunting!

Translated by