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

3 visualizzazioni (ultimi 30 giorni)
Pallavi Ingole
Pallavi Ingole il 25 Ott 2016
Risposto: Christian Bard il 2 Nov 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?

Accedi per rispondere a questa domanda.

Risposta accettata

Christian Bard
Christian Bard il 2 Nov 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

Più risposte (0)

Categorie

Scopri di più su Code Prover Analysis in Polyspace Platform User Interface in Help Center e File Exchange

Tag

Non è stata ancora inserito alcun tag.

Community Treasure Hunt

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

Start Hunting!

Translated by