NoTerminationLoopCounterexample¶

public class NoTerminationLoopCounterexample extends LoopCounterexample ¶

Constructors¶

NoTerminationLoopCounterexample¶

protected NoTerminationLoopCounterexample(APIClient client)¶

Methods¶

fromProtobuf¶

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