StateCoverageReport¶

class Cocotec.CocoPlatform.Coco.StateCoverageReport¶

Represents the coverage of a given state in a ReachabilityCounterexample For a non-execution state, the coverage of the transition functions is also denoted

Properties

bool IsReachable { }¶

True if this state is itself reachable

List<Cocotec.CocoPlatform.Coco.TransitionCoverage> TransitionCoverage { }¶

All of the transitions from this state that are reachable

Cocotec.CocoPlatform.Coco.Node State { }¶

Wrapper for the AST node for this state