How to change timeout parameter for Bug Finder module analysis?

2017 4 4
1 个回答
回答已采纳
更新时间：2017 4 13
8 次查看（30 天）

0 个投票

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.

请先登录，再回答此问题。

 采纳的回答

Gary
Gary 2017-4-13

0 个投票

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 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息

产品

标签

Community Treasure Hunt

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

Start Hunting!

Translated by