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?