Adding changes to cvs...

[repair.git] / Repair / RepairCompiler / MCC / link.constraints

diff --git a/Repair/RepairCompiler/MCC/link.constraints b/Repair/RepairCompiler/MCC/link.constraints
index addf8877415eafe56bc1d2a476d85221a231d3a0..9e0c61bfa65ca314943a6e573c0a348296f4efa7 100755 (executable)
--- a/Repair/RepairCompiler/MCC/link.constraints
+++ b/Repair/RepairCompiler/MCC/link.constraints
@@ -1,13 +1,5 @@
-[],sizeof(Nodes) > 1;
-[forall node in Nodes],sizeof(node.~nextnodes)=1;
-
-
-
-
-
-
-
-
-
-
+[], sizeof(Nodes) >= literal(1);
+[forall node in Nodes], sizeof(node.~nextnodes) <= literal(1);
+[forall n in Nodes], 
+       sizeof(n.nextnodes) = literal(0) or n.nextnodes.prevnodes = n;