Note

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

EmptySpontaneousCounterexample¶

class Cocotec.CocoPlatform.Coco.EmptySpontaneousCounterexample : public Cocotec.CocoPlatform.Coco.LoopCounterexample ¶: A counterexample for a port assertion that indicates a spontaneous might not do anything.