Note

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

Kind¶

enum Cocotec.CocoPlatform.Coco.Kind¶

Values:

EventuallyCounterexample¶

IllegalLegalOverlapCounterexample¶

ImplIllegalMismatchCounterexample¶

SpecIllegalMismatchCounterexample¶

TraceRefinementCounterexample¶

MissingSignalCounterexample¶

DivergenceMissingSignalCounterexample¶

DeadlockCounterexample¶

DeadStateCounterexample¶

ExceptionCounterexample¶

IllegalFunctionCallCounterexample¶

IllegalSignalCounterexample¶

EmptySpontaneousCounterexample¶

NoTerminationLoopCounterexample¶

ResponsiveCounterexample¶

NoTerminationDeadlockCounterexample¶

ReachabilityCounterexample¶