Checking in specs

[repair.git] / Repair / RepairCompiler / MCC / specs / linkedlists / ex.constraints

diff --git a/Repair/RepairCompiler/MCC/specs/linkedlists/ex.constraints b/Repair/RepairCompiler/MCC/specs/linkedlists/ex.constraints
new file mode 100755 (executable)
index 0000000..42e959e
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/specs/linkedlists/ex.constraints
@@ -0,0 +1 @@
+[], sizeof(Nodes) >= 1;