IllegalCounterexample¶

class Cocotec.CocoPlatform.Coco.IllegalCounterexample : public Cocotec.CocoPlatform.Coco.PropertyCounterexample¶

A counterexample where an illegal function is called on a required port.

Subclassed by Cocotec.CocoPlatform.Coco.IllegalFunctionCallCounterexample, Cocotec.CocoPlatform.Coco.IllegalSignalCounterexample

Public Functions

Cocotec.CocoPlatform.Coco.Node Handler ()¶

The handler that determined that this event was illegal.