IllegalFunctionCallCounterexample¶

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

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

Public Functions

Cocotec.CocoPlatform.Coco.BehaviouralInstance PortInstance ()¶

The required port instance that emitted the exception