ResponsiveCounterexample

public class ResponsiveCounterexample extends LoopCounterexample

A counterexample for a port or component assertion that indicates a port or component can become unresponsive to its client.

Constructors

ResponsiveCounterexample

protected ResponsiveCounterexample(APIClient client)

Internal constructor

Methods

fromProtobuf

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

Internal constructor