Customizing Polyspace Code Prover Report

1 回表示 (過去 30 日間)
Shaku kaa
Shaku kaa 2016 年 9 月 30 日
回答済み: Christian Bard 2016 年 11 月 2 日
Right now Polyspace giving the information about all the files which we added initially.But, POlyspace is not using all the files .In the "Run-Time Checks Summary" it is giving information of all the added files .. Is it possible to obtain a "Run-Time Checks Summary " with polyspace used files. it all should be done automatically

回答 (1 件)

Christian Bard
Christian Bard 2016 年 11 月 2 日
Hi Shaku, Using DeveloperReview template, you get a summary of run-time checks by files added to the analysis. Files not present in the summary don't have any run-time checks.
Regards, Christian

カテゴリ

Help Center および File ExchangeGenerate Report についてさらに検索

Community Treasure Hunt

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

Start Hunting!

Translated by