Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?
8 次查看(过去 30 天)
显示 更早的评论
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 个评论
采纳的回答
Alexandre De Barros
2015-8-18
编辑:Alexandre De Barros
2015-8-20
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 个评论
Maja Petkovic
2016-8-22
编辑:Maja Petkovic
2016-8-22
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
更多回答(0 个)
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Interpret Code Prover Results 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!