How to Customize Polyspace code prover Report?

2016 9 29
1 个回答
更新时间：2016 10 6
2 次查看（30 天）

0 个投票

I want to have a report having error details for some of the files used in polyspace code prover verification.
Thanks in advance

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

回答（1 个）

0 个投票

Hello,
First, it is possible to customize an existing report using the Report Generator toolbox, as described in the documentation here.
See this link to have more information on the filters you can use.
For your specific need, look for the component named "if (PolyspaceData.RTEEnabled)" and inside it, click on the component "Run-time Checks Details ordered by Color/File".
You will see that for this component you can use "Advanced Filters". One of them is related to "Files to include". List the files to include in your report by using a regular expression.
Ex.: use
.*Module.*.c
to include C source files that contain the word "Module".
You can have several regular expressions (one by line) to select more files.
Alex

类别

在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息

产品

标签

Community Treasure Hunt

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

Start Hunting!

Translated by