Verification time limit in Polyspace( R2014a)
2 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
What does verification time limit configuration means in Polyspace R2014a? How does it impacts the analysis?
0 Commenti
Risposte (1)
Alexandre De Barros
il 31 Lug 2015
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 Commenti
Vedere anche
Categorie
Scopri di più su Options at Command Line Only in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!