Note

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

ImplIllegalMismatchCounterexample¶

class Cocotec.CocoPlatform.Coco.ImplIllegalMismatchCounterexample : public Cocotec.CocoPlatform.Coco.BaseTraceRefinementCounterexample ¶: Indicates that an event was declared as illegal by the spec, but was legal in the implementation.