How to change timeout parameter for Bug Finder module analysis?

3 visualizaciones (últimos 30 días)

Dylan Erickson el 4 de Abr. de 2017

0
Enlazar

Enlace directo a esta pregunta

https://es.mathworks.com/matlabcentral/answers/333663-how-to-change-timeout-parameter-for-bug-finder-module-analysis

Respondida: Gary el 13 de Abr. de 2017

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.

1 comentario
Mostrar -1 comentarios más antiguosOcultar -1 comentarios más antiguos

Dylan Erickson el 11 de Abr. de 2017

Hello?

Iniciar sesión para comentar.

Iniciar sesión para responder a esta pregunta.

Respuesta aceptada

Gary el 13 de Abr. de 2017

0
Enlazar

Enlace directo a esta respuesta

https://es.mathworks.com/matlabcentral/answers/333663-how-to-change-timeout-parameter-for-bug-finder-module-analysis#answer_262869

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 comentarios
Mostrar -2 comentarios más antiguosOcultar -2 comentarios más antiguos

Iniciar sesión para comentar.

Más respuestas (0)

Iniciar sesión para responder a esta pregunta.

Categorías

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

Verification, Validation, and Test Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

Más información sobre Run Settings en Help Center y File Exchange.

Productos

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by