NoTerminationDeadlockCounterexample¶
-
class
Cocotec.CocoPlatform.Coco.NoTerminationDeadlockCounterexample: public Cocotec.CocoPlatform.Coco.PropertyCounterexample¶
Note
You are not reading the most recent version of this documentation.
Note
You are not reading the most recent version of this documentation.
Cocotec.CocoPlatform.Coco.NoTerminationDeadlockCounterexample : public Cocotec.CocoPlatform.Coco.PropertyCounterexample¶