How to change timeout parameter for Bug Finder module analysis?

2017 4 月 4
1 回答
回答採用済み
2017 4 月 13 に更新
2 ビュー (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 についてさらに検索

製品

タグ

質問済み:

Dylan Erickson
Dylan Erickson
2017 年 4 月 4 日

回答済み:

Gary
Gary
2017 年 4 月 13 日

Community Treasure Hunt

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

Start Hunting!

Translated by