HasTraceCounterexample¶

public class HasTraceCounterexample extends BaseTraceRefinementCounterexample ¶

Constructors¶

HasTraceCounterexample¶

protected HasTraceCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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