User`s guide

Filter Model Objects to Refine Coverage Results
20-17
As a result, you cannot record 100% condition and MCDC coverage for the transition
after(4, tick).
To filter the temporal event tick from coverage analysis for this model:
1
Open the Mode Logic chart.
2
Right-click the after(4, tick) transition and select Coverage > Exclude
temporal event tick.
The Coverage Filter Viewer opens with the new filter rule listed.
3
Click in the Rationale field and enter explanatory text, for example, tick is
never false.
4
Select Attach file to model and click Apply to save this rule to the current filter.