Note

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

LoopCounterexample¶

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

Subclassed by Cocotec.CocoPlatform.Coco.EmptySpontaneousCounterexample, Cocotec.CocoPlatform.Coco.NoTerminationLoopCounterexample, Cocotec.CocoPlatform.Coco.ResponsiveCounterexample

Public Functions

uint LoopStartIndex ()¶