From 570562cf2a0fd15ef521a9072e3d3652272f9615 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Mon, 31 Jul 2006 08:07:53 +0000 Subject: [PATCH] checking in goal file --- Robust/src/Tests/output/IncTest.output.goal | 41 +++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 Robust/src/Tests/output/IncTest.output.goal diff --git a/Robust/src/Tests/output/IncTest.output.goal b/Robust/src/Tests/output/IncTest.output.goal new file mode 100644 index 00000000..22769ee9 --- /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 -- 2.34.1