It is possible to add a Polyspace comment in a sigle line to comment a MISRA rule AND a RTE warning?
6 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
Cristina Golie
le 10 Juil 2015
Réponse apportée : Alexandre De Barros
le 10 Juil 2015
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 */
0 commentaires
Réponse acceptée
Alexandre De Barros
le 10 Juil 2015
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
0 commentaires
Plus de réponses (0)
Voir également
Catégories
En savoir plus sur Running Static Analysis Along With Tests dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!