ExceptionCounterexample¶

class Cocotec.CocoPlatform.Coco.ExceptionCounterexample : public Cocotec.CocoPlatform.Coco.PropertyCounterexample¶

A counterexample where one participant in the system encounters a runtime error.

Public Functions

Cocotec.CocoPlatform.Coco.BehaviouralInstance ErrorInstance ()¶

The instance that emitted the exception.

Cocotec.CocoPlatform.Coco.Exception Exception ()¶

The exception that was raised.

Cocotec.CocoPlatform.Coco.Thread ErrorInstanceState ()¶

The state of the stack of the erroneous instance at the time of the exception.