DeadStateCounterexample¶

public class DeadStateCounterexample extends PropertyCounterexample ¶: A counterexample for a port assertion where all transitions from the final state are illegal.

Constructors¶

DeadStateCounterexample¶

protected DeadStateCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

public static DeadStateCounterexample fromProtobuf(APIClient client, Out.CocoCounterexample inputValue)¶: Internal constructor