[IRC.git] / Robust / src / RepairTest / specs / Example / Example.constraints

[forall e in Example], e.X > 0;