MATLAB: Overlapping RTE and MISRA violations

misra r2015a codeprover polyspace rte orangePolyspace Code ProverPolyspace Code Prover Server

Hi,
There are situations in which an Orange check and a MISRA violation reported by Polyspace CodeProver points to the same item in the code. Is there a way to eliminate, if I want in some cases, one of them from the reporting?
All the best,
Daniel

Best Answer

Hi Daniel!
You cannot "eliminate" a check or a violation from the report but I suggest you to comment it (manually or by using a code annotation) and to choose the DeveloperReview Template, where checks/violations are sorted by review classification and status, and unreviewed results are sorted by file location. Hence, you will be able to differentiate the check from the violation in your generated reports.
Regards,
Alex