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.
Note
You are not reading the most recent version of this documentation.
ResponsiveCounterexample
extends LoopCounterexample¶A counterexample for a port or component assertion that indicates a port or component can become unresponsive to its client.