Note

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

DeadStateCounterexample¶

class Cocotec.CocoPlatform.Coco.DeadStateCounterexample : public Cocotec.CocoPlatform.Coco.PropertyCounterexample ¶: A counterexample for a port assertion where all transitions from the final state are illegal.