DivergenceMissingSignalCounterexample¶

public class DivergenceMissingSignalCounterexample extends BaseMissingSignalCounterexample ¶

Constructors¶

DivergenceMissingSignalCounterexample¶

protected DivergenceMissingSignalCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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

loopStartIndex¶

public int loopStartIndex()¶