Note

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

RefinementCounterexample¶

class Cocotec.CocoPlatform.Coco.RefinementCounterexample : public Cocotec.CocoPlatform.Coco.BehaviourComparisonCounterexample ¶

Subclassed by Cocotec.CocoPlatform.Coco.BaseMissingSignalCounterexample, Cocotec.CocoPlatform.Coco.BaseTraceRefinementCounterexample

Public Functions

Cocotec.CocoPlatform.Coco.BehaviouralInstance SpecificationInstance ()¶

Cocotec.CocoPlatform.Coco.BehaviouralInstance ImplementationInstance ()¶