ReachabilityCounterexample

public class ReachabilityCounterexample extends Counterexample

A counterexample indicating some states or transitions are unreachable.

Constructors

ReachabilityCounterexample

protected ReachabilityCounterexample(APIClient client)

Internal constructor

Methods

coverage

public io.cocotec.coco.platform.coco.CoverageReport coverage(io.cocotec.coco.platform.coco.BehaviouralInstance instance)

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

fromProtobuf

public static ReachabilityCounterexample fromProtobuf(APIClient client, Out.CocoCounterexample inputValue)

Internal constructor