MATLAB: It is possible to add a Polyspace comment in a sigle line to comment a MISRA rule AND a RTE warning

code proverpolyspacePolyspace Code ProverPolyspace Code Prover Serverr2014b

Hello all, I have a question about Polyspace Code Prover R2014b:
– It is possible to add a Polyspace comment into a sigle line to comment one MISRA rule AND one RTE warning in a same time?
e.g.:
/* polyspace< MISRA-C3:8.9 ; RTE:NIV : Not a defect : Justify with annotations > explanation */

Best Answer

Hello !
You can't mix two types in the same review comment but you can use two consecutive comments:
 /* polyspace< MISRA-C3:8.9 : Not a defect : Justify with annotations > explanation 1*/
 /* polyspace< RTE:NIV : Not a defect : Justify with annotations > explanation 2*/
Best regards,
Alexandre
Related Question