User`s guide

Filter Model Objects to Refine Coverage Results
20-15
If you open the Mode Logic chart and click the transition, the Informer window
displays filtering information and the Rationale text.
Filter a Stateflow Event
Events in Stateflow are a common cause for missing coverage in a chart, because they
sometimes form an condition for coverage that can never be satisfied.
For example, in the Mode Logic chart, the temporal event tick is never false, as you can
see from the coverage report.