helpful progress reporting
[IRC.git] / Robust / src / RepairTest / specs / Example / Example.constraints
1 [forall e in Example], e.X > 0;