Note
You are not reading the most recent version of this documentation.
Cocotec.CocoPlatform.Coco.TransitionCoverage
Pair of AST node for an event transition, and a flag denoting whether it is reachable
Properties
Transition
Covered