Note

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

ProjectCounterexample¶

class Cocotec.CocoPlatform.Coco.Ide.ProjectCounterexample¶

Properties

Cocotec.CocoPlatform.Coco.Ide.ProjectContext Context { }¶

List<Cocotec.CocoPlatform.Coco.Counterexample> Counterexamples { }¶