User`s guide

Top-Level Model Coverage Report
19-21
Line 4, sldv.assume(u1 > u2), achieves 0% coverage because u1 > u2 never
evaluates to true.
• Line 5, sldv.condition(u1 == 0), achieves 100% coverage because u1 == 0
evaluates to true for at least one time step.
• Line 6, switch u1, achieves 25% coverage because only one of the four outcomes in
the switch statement (case 0) occurs during simulation.