NoTerminationLoopCounterexample¶

public class NoTerminationLoopCounterexample extends LoopCounterexample ¶

Constructors¶

NoTerminationLoopCounterexample¶

protected NoTerminationLoopCounterexample(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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