필터 지우기
필터 지우기

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