Verification time limit in Polyspace( R2014a)
2 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
What does verification time limit configuration means in Polyspace R2014a? How does it impacts the analysis?
0 comentarios
Respuestas (1)
Alexandre De Barros
el 31 de Jul. de 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 comentarios
Ver también
Categorías
Más información sobre Options at Command Line Only en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!