User`s guide

19 Results Review
19-18
Chart Details
The following graphic shows the coverage results for the Stateflow chart control_logic in
the sldemo_fuelsys example model.
For more information about model coverage reports for Stateflow charts and their
objects, see “Model Coverage for Stateflow Charts”.
Coverage Details for MATLAB Functions and Simulink Design Verifier Functions
By default, Simulink Verification and Validation records coverage for all MATLAB
functions in a model. MATLAB functions are in MATLAB Function blocks, Stateflow
charts, or external MATLAB files.