DeadlockCounterexample¶

public class DeadlockCounterexample extends PropertyCounterexample ¶

Constructors¶

DeadlockCounterexample¶

protected DeadlockCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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