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

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?

Answer 1

[Christian Bard]

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