Note

You are not reading the most recent version of this documentation. 1.4.7 is the latest version available.

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