User`s guide

19 Results Review
19-22
• Line 17, sldv.test(y > u1); sldv.test (y == 4) achieves 50% coverage. The
first sldv.test call achieves 100% coverage, but the second sldv.test call achieves
0% coverage.
For more information about coverage for MATLAB functions, see “Model Coverage for
MATLAB Functions” on page 18-20.
For more information about coverage for Simulink Design Verifier functions, see
“Simulink Design Verifier Coverage” on page 15-9.
Cyclomatic Complexity
You can specify that the model coverage report include cyclomatic complexity numbers in
two locations in the report: