Verification time limit in Polyspace( R2014a)
2 ビュー (過去 30 日間)
古いコメントを表示
What does verification time limit configuration means in Polyspace R2014a? How does it impacts the analysis?
0 件のコメント
回答 (1 件)
Alexandre De Barros
2015 年 7 月 31 日
Hello Dinesh !
I think that the documentation says it well : http://fr.mathworks.com/help/codeprover/ref/verification-time-limit-timeout.html
It is a time limit for the verification for users who are interested by having results earlier rather than waiting for longer (and more precise) results.
This is useful for example with the first verifications where users don't focus on precision but prefer to have a faster verification to make their first review.
Regards,
Alexandre
0 件のコメント
参考
カテゴリ
Help Center および File Exchange で Options at Command Line Only についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!