How many maximum files can polyspace verify successfully at a time?
조회 수: 3(최근 30일)
Christian Bard 2016년 11월 2일
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
Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only