How to change timeout parameter for Bug Finder module analysis?

3 Ansichten (letzte 30 Tage)

Dylan Erickson am 4 Apr. 2017

0
Verknüpfen

Direkter Link zu dieser Frage

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

Beantwortet: Gary am 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.

1 Kommentar
-1 ältere Kommentare anzeigen-1 ältere Kommentare ausblenden

Dylan Erickson am 11 Apr. 2017

Hello?

Melden Sie sich an, um zu kommentieren.

Melden Sie sich an, um diese Frage zu beantworten.

Akzeptierte Antwort

Gary am 13 Apr. 2017

0
Verknüpfen

Direkter Link zu dieser Antwort

https://de.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)

Mehr zu Run Settings finden Sie in Help Center und File Exchange

Produkte

Community Treasure Hunt

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

Start Hunting!

Translated by