How to Customize Polyspace code prover Report?
조회 수: 5 (최근 30일)
이전 댓글 표시
I want to have a report having error details for some of the files used in polyspace code prover verification.
Thanks in advance
댓글 수: 0
답변 (1개)
Alexandre De Barros
2016년 10월 6일
Hello,
First, it is possible to customize an existing report using the Report Generator toolbox, as described in the documentation here.
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
댓글 수: 0
참고 항목
카테고리
Help Center 및 File Exchange에서 Generate Reports에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!