ReachabilityCounterexample¶

class Cocotec.CocoPlatform.Coco.ReachabilityCounterexample : public Cocotec.CocoPlatform.Coco.Counterexample¶

A counterexample indicating some states or transitions are unreachable.

Public Functions

Cocotec.CocoPlatform.Coco.CoverageReport Coverage (Cocotec.CocoPlatform.Coco.BehaviouralInstance instance)¶

Returns a coverage/reachability report for the supplied component or port