1 of 1 people found this helpful
No, we don't report all paths that a transition fault is tested through. Observation for transition patterns is greedy. The tool propagates the transition on all open paths, and the transition is observed on all destination gates that see the transition.
Is that what you were looking for?
Yes, actually that answers my question,