Note

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

SpecIllegalMismatchCounterexample¶

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