How to change timeout parameter for Bug Finder module analysis?

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.

[Dylan Erickson]

Hello?

Answer 1

[Gary]

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)