HI All, We have a Mathworks Polyspace R2016A

We have compiled and verified with Large number of .c & .h files using polysapce, but my question is while generating the report is it possible to generate report only to certain no of files which we are interested using polyspace ?

Answer 1

[Alexandre De Barros]

Hello,

there are two ways to achieve this:

• customize an existing template, to add a filter on the file

See the documentation to know how to use it:

https://www.mathworks.com/help/codeprover/ug/customize-existing-report-template.html

https://www.mathworks.com/help/codeprover/ref/reportcustomizationfiltering.html

• activate filters on the file(s) in the Polyspace UI and generate a "wysiwyg" report:

1. switch the review scope to Family
2. in the view Results List, activate the filter for the column File and select the file(s) you are interested in
3. generate the report and in the dialog window "Run Report", activate the option "Only include currently displayed results"

Best regards,

Alexandre