Note

You are not reading the most recent version of this documentation.

AwaitCoverageReport¶

class Cocotec.CocoPlatform.Coco.AwaitCoverageReport¶

Represents the coverage of a given await in a ReachabilityCounterexample.

Properties

Cocotec.CocoPlatform.Coco.Coverage IsReachable { }¶: True if this state is itself reachable

List<Cocotec.CocoPlatform.Coco.NodeCoverage> ClauseCoverage { }¶: All of the transitions from this state that are reachable

Cocotec.CocoPlatform.Coco.Node AwaitNode { }¶: Wrapper for the AST node for this state

Cocotec.CocoPlatform.Coco.SourceRange HighlightRange { }¶: The source lines that should be highlighted to show the reachability of this state