Note

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

BaseTraceRefinementCounterexample¶

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

Subclassed by Cocotec.CocoPlatform.Coco.ImplIllegalMismatchCounterexample, Cocotec.CocoPlatform.Coco.SpecIllegalMismatchCounterexample, Cocotec.CocoPlatform.Coco.TraceRefinementCounterexample

Public Functions

Cocotec.CocoPlatform.Coco.Event ErrorEvent ()¶

bool SpecPermitsFunctionCalls ()¶

List<Cocotec.CocoPlatform.Coco.Event> SpecPermittedEvents ()¶