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

bool IsTerminated { }¶

True if this is the implicit Terminated state

bool IsIgnored { }¶

True if the state is annotated with an ignoreWarning attribute for reachability

string Name { }¶

The state name

Cocotec.CocoPlatform.Coco.SourceRange HighlightRange { }¶

The source lines that should be highlighted to show the reachability of this state