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