Orange checks covered by MISRA checks

1 view (last 30 days)
Daniel Popu
Daniel Popu on 24 Jul 2015
Hi, Sometimes it looks like an orange check is entirely covered by some MISRA checks.
Is it correct my interpretation?
If yes, can this be a change request for CodeProver?
Best Regards
Daniel

Sign in to answer this question.

Answers (0)

Categories

Find more on Troubleshooting in Polyspace Products for Ada in Help Center and File Exchange

Tags

Products

Community Treasure Hunt

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

Start Hunting!