Note

You are not reading the most recent version of this documentation.

ResponsiveCounterexample¶

class Cocotec.CocoPlatform.Coco.ResponsiveCounterexample : public Cocotec.CocoPlatform.Coco.LoopCounterexample ¶: A counterexample for a port or component assertion that indicates a port or component can become unresponsive to its client.