Checking in example

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

diff --git a/Robust/src/RepairTest/specs/Example/Example.model b/Robust/src/RepairTest/specs/Example/Example.model
new file mode 100755 (executable)
index 0000000..f6b2b86
--- /dev/null
+++ b/Robust/src/RepairTest/specs/Example/Example.model
@@ -0,0 +1,4 @@
+[], true => e in Example;
+[forall l in Example], true => <l, l.x> in X;
+[forall l in Example], true => <l, l.y> in Y;
+[forall l in Example], true => <l, l.z> in Z;