BehaviourComparisonCounterexample

public class BehaviourComparisonCounterexample extends Counterexample

Constructors

BehaviourComparisonCounterexample

protected BehaviourComparisonCounterexample(APIClient client)

Internal constructor

Methods

behaviour1

public io.cocotec.coco.platform.coco.Behaviour behaviour1()

behaviour2

public io.cocotec.coco.platform.coco.Behaviour behaviour2()

fromProtobuf

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

Internal constructor