Note

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

AlwaysHasTraceCounterexample¶

class Cocotec.CocoPlatform.Coco.AlwaysHasTraceCounterexample : public Cocotec.CocoPlatform.Coco.RefinementCounterexample ¶