When I generated the code for my Simulink model which contain if-else logic(States when execution is resumed: Reset for both if and else actions), the code is generated with switch statement without default case. So when I do static analysis(polyspace code prover) it is giving 16.4 violation(default case is mandatory).
0 Comments
Sign in to comment.