Different Coverage for after(1, sec) and after(1, msec). My misunderstanding or just a bug?

1 view (last 30 days)
Simple model is made up for coverage calculation.
State_A <--after(1, sec) --> State_B
In above, the transition is bidirectional. the decision coverage is 100%, and it makes sense since after(1, sec) is evaluated true/false according to time.
if 'sec' is changed to 'msec', then it produces 50% coverage, and the report message is
"Transition "after(1, msec)" from "A" to "B"
after(1, msec) was never false."
Why is that?

Answers (1)

Arunkumar M
Arunkumar M on 9 Nov 2018
Edited: Arunkumar M on 9 Nov 2018
What was your step size used in simulation? This could happen when your step size is higher than 1msec as used in this condition.



Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!