Orange checks covered by MISRA checks

1 visualizzazione (ultimi 30 giorni)

Daniel Popu il 24 Lug 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

Scopri di più su Troubleshooting in Polyspace Products for Ada in Help Center e File Exchange

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

Translated by