How to change timeout parameter for Bug Finder module analysis?

3 views (last 30 days)
Dylan Erickson
Dylan Erickson on 4 Apr 2017
Answered: Gary on 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.

Sign in to answer this question.

Accepted Answer

Gary
Gary on 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)

More Answers (0)

Categories

Find more on Run Settings in Help Center and File Exchange

Tags

Products

Community Treasure Hunt

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

Start Hunting!