projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Committing changes to leftsize->rightSize, more comments, and handling
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
link.constraints
diff --git
a/Repair/RepairCompiler/MCC/link.constraints
b/Repair/RepairCompiler/MCC/link.constraints
index 24c3075593927dd679cc1dfef5c98ce7d2be4c4e..9e0c61bfa65ca314943a6e573c0a348296f4efa7 100755
(executable)
--- a/
Repair/RepairCompiler/MCC/link.constraints
+++ b/
Repair/RepairCompiler/MCC/link.constraints
@@
-1,6
+1,5
@@
[], sizeof(Nodes) >= literal(1);
[forall node in Nodes], sizeof(node.~nextnodes) <= literal(1);
-[forall node in Nodes], sizeof(node.~prevnodes) <= literal(1);
[forall n in Nodes],
sizeof(n.nextnodes) = literal(0) or n.nextnodes.prevnodes = n;