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

10 Jul 2015
1 Answer
Answer Accepted
Updated 10 Jul 2015
5 Views (30 days)

0 votes

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 */

Sign in to answer this question.

 Accepted Answer

Alexandre De Barros
Alexandre De Barros on 10 Jul 2015

0 votes

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

More Answers (0)

Categories

Find more on Command-Line Only Options in Help Center and File Exchange

Products

Tags

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!