How to change timeout parameter for Bug Finder module analysis?

4 次查看（过去 30 天）
Dylan Erickson
Dylan Erickson 2017-4-4
回答： Gary 2017-4-13
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
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 个）

类别

在 Help Center 和 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