NoTerminationDeadlockCounterexample¶

public class NoTerminationDeadlockCounterexample extends PropertyCounterexample ¶

Constructors¶

NoTerminationDeadlockCounterexample¶

protected NoTerminationDeadlockCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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