フィルターのクリア
フィルターのクリア

How to change timeout parameter for Bug Finder module analysis?

3 ビュー (過去 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