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

2 次查看（过去 30 天）
Pallavi Ingole
Pallavi Ingole 2016-10-25
回答： Christian Bard 2016-11-2
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?

请先登录，再回答此问题。

采纳的回答

Christian Bard
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

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Code Prover Analysis in Polyspace Platform User Interface 的更多信息

标签

尚未输入任何标签。

Community Treasure Hunt

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

Start Hunting!

Translated by