Trial software

Orange checks covered by MISRA checks

1 view (last 30 days)

Show older comments

Daniel Popu on 24 Jul 2015

0
Link

Direct link to this question

https://www.mathworks.com/matlabcentral/answers/231055-orange-checks-covered-by-misra-checks

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

0 Comments
Show -2 older commentsHide -2 older comments

Sign in to comment.

Sign in to answer this question.

Answers (0)

Sign in to answer this question.

Categories

Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

Verification, Validation, and Test Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

Find more on Options at Command Line Only 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!

Trial software