checking in goal file

diff --git a/Robust/src/Tests/output/IncTest.output.goal b/Robust/src/Tests/output/IncTest.output.goal
new file mode 100644 (file)
index 0000000..22769ee
--- /dev/null
+++ b/Robust/src/Tests/output/IncTest.output.goal
@@ -0,0 +1,41 @@
+1
+1
+1
+1
+1
+1
+1
+1
+1
+1
+0
+0
+0
+0
+0
+0
+0
+0
+0
+0
+----------------
+0
+1
+1
+1
+1
+1
+1
+1
+1
+1
+1
+0
+0
+0
+0
+0
+0
+0
+0
+0