Counterexample¶

class Cocotec.CocoPlatform.Coco.Counterexample¶

Subclassed by Cocotec.CocoPlatform.Coco.BehaviourComparisonCounterexample, Cocotec.CocoPlatform.Coco.BehaviourCounterexample, Cocotec.CocoPlatform.Coco.ReachabilityCounterexample

Public Functions

string Title ()¶

Returns a human-readable title for this counterexample.

override string ToString ()¶

string ErrorToString ()¶

Returns just a description of the error as a string, without printing the trace of how the error was reached.

Properties

List<Cocotec.CocoPlatform.Coco.Value> TopLevelInstances { }¶

The top-level instances that are active in this counterexample. Each behavioural instance may consist of several other instances.

List<Cocotec.CocoPlatform.Coco.BehaviouralInstance> LeafInstances { }¶

bool IsWarning { }¶

Indicates this counterexample is just a warning, rather than an error.

Cocotec.CocoPlatform.Coco.Kind Kind { }¶