Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?
8 views (last 30 days)
Show older comments
Ali Khalil
on 17 Aug 2015
Edited: Maja Petkovic
on 22 Aug 2016
Hi,
In Polyspace, after the verification run, we go and justify some checks, especially the orange ones, according to our understanding if they aren't real checks.
So, is there a way to not see them again in the next run?
Thanks.
0 Comments
Accepted Answer
Alexandre De Barros
on 18 Aug 2015
Edited: Alexandre De Barros
on 20 Aug 2015
Hi,
Since you have justified the checks, I suggest you to activate filters to hide them. If you have used the Classification "Not a defect" for instance, in the Results Summary view you could activate the filter on the column Classification and choose to hide all the checks classified "Not a defect".
More information on the filters here:
For the next verifications of the same project, the justifications and comments will be automatically imported in the new results folder (or in the same folder if you choosed to use it again).
You can also annotate the code so the checks are automatically justified and commented :
Regards,
Alex
1 Comment
Maja Petkovic
on 22 Aug 2016
Edited: Maja Petkovic
on 22 Aug 2016
Hi,
What about the red checks which are caused by an orange check?
As far as I know when a red check is found the verification is abborted in that function call, which means they may be other red warnings masked by that one. How can those orange/red checks be skipped as reasonably FALSE during next verification?
Please correct me if I got something wrong here.
Thank you & Regards
Maja
More Answers (0)
See Also
Categories
Find more on Interpret Code Prover Results in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!