From: bdemsky Date: Mon, 31 Jul 2006 08:07:53 +0000 (+0000) Subject: checking in goal file X-Git-Tag: preEdgeChange~865 X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=570562cf2a0fd15ef521a9072e3d3652272f9615;p=IRC.git 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 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