How many maximum files can polyspace verify successfully at a time?

2 visualizaciones (últimos 30 días)
Pallavi Ingole
Pallavi Ingole el 25 de Oct. de 2016
Respondida: Christian Bard el 2 de Nov. de 2016
Its regarding Polyspace tool, How many maximum files it can run at a time? and what is better in running polyspace modulewise or a whole project once, if I want to use polyspace for my project?

Iniciar sesión para responder a esta pregunta.

Respuesta aceptada

Christian Bard
Christian Bard el 2 de Nov. de 2016
Hello Pallavi, I guess when using Polyspace Bug Finder, you can put all your project at once. When using Polyspace Code Prover, it is always better to analyze your code module by module. Ideally, you would use Polyspace Code Prover at unit testing. Regards, Christian

Más respuestas (0)

Categorías

Más información sobre Code Prover Analysis in Polyspace Platform User Interface en Help Center y File Exchange.

Etiquetas

Aún no se han introducido etiquetas.

Community Treasure Hunt

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

Start Hunting!

Translated by