AlwaysHasTraceCounterexample¶

public class AlwaysHasTraceCounterexample extends RefinementCounterexample ¶

Constructors¶

AlwaysHasTraceCounterexample¶

protected AlwaysHasTraceCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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