Checking in example

diff --git a/Robust/src/RepairTest/specs/Example/Example.constraints b/Robust/src/RepairTest/specs/Example/Example.constraints
new file mode 100755 (executable)
index 0000000..e7f6d25
--- /dev/null
+++ b/Robust/src/RepairTest/specs/Example/Example.constraints
@@ -0,0 +1 @@
+[forall e in Example], e.X > 0;
\ No newline at end of file

diff --git a/Robust/src/RepairTest/specs/Example/Example.label b/Robust/src/RepairTest/specs/Example/Example.label
new file mode 100644 (file)
index 0000000..d9a35af
--- /dev/null
+++ b/Robust/src/RepairTest/specs/Example/Example.label
@@ -0,0 +1 @@
+Example * e;
\ No newline at end of file

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;

diff --git a/Robust/src/RepairTest/specs/Example/Example.space b/Robust/src/RepairTest/specs/Example/Example.space
new file mode 100755 (executable)
index 0000000..41bdc3b
--- /dev/null
+++ b/Robust/src/RepairTest/specs/Example/Example.space
@@ -0,0 +1,6 @@
+// Space Definition Language File
+
+set Example(Example);
+X: Example -> int;
+Y: Example -> int;
+Z: Example -> int;