How to change timeout parameter for Bug Finder module analysis?

3 vues (au cours des 30 derniers jours)

Dylan Erickson le 4 Avr 2017

0
Lien

Utiliser le lien direct vers cette question

https://fr.mathworks.com/matlabcentral/answers/333663-how-to-change-timeout-parameter-for-bug-finder-module-analysis

Réponse apportée : Gary le 13 Avr 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.

1 commentaire
Afficher -1 commentaires plus anciensMasquer -1 commentaires plus anciens

Dylan Erickson le 11 Avr 2017

Hello?

Connectez-vous pour commenter.

Connectez-vous pour répondre à cette question.

Réponse acceptée

Gary le 13 Avr 2017

0
Lien

Utiliser le lien direct vers cette réponse

https://fr.mathworks.com/matlabcentral/answers/333663-how-to-change-timeout-parameter-for-bug-finder-module-analysis#answer_262869

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)

0 commentaires
Afficher -2 commentaires plus anciensMasquer -2 commentaires plus anciens

Connectez-vous pour commenter.

Plus de réponses (0)

Connectez-vous pour répondre à cette question.

Catégories

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

Verification, Validation, and Test Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

En savoir plus sur Run Settings dans Help Center et File Exchange

Produits

Community Treasure Hunt

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

Start Hunting!

Translated by