LoopCounterexample¶

public class LoopCounterexample extends PropertyCounterexample ¶

Constructors¶

LoopCounterexample¶

protected LoopCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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

loopStartIndex¶

public int loopStartIndex()¶