ShouldNotHaveTraceCounterexample¶

public class ShouldNotHaveTraceCounterexample extends BaseTraceRefinementCounterexample ¶

Constructors¶

ShouldNotHaveTraceCounterexample¶

protected ShouldNotHaveTraceCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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