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

9 次查看（过去 30 天）
Cristina Golie
Cristina Golie 2015-7-10
回答： Alexandre De Barros 2015-7-10
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 */

请先登录，再回答此问题。

采纳的回答

Alexandre De Barros
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 个）

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by