]> hydra-www.ietfng.org Git - dyna2/commitdiff
new test case
authorTim Vieira <tim.f.vieira@gmail.com>
Mon, 5 Aug 2013 21:59:45 +0000 (17:59 -0400)
committerTim Vieira <tim.f.vieira@gmail.com>
Mon, 5 Aug 2013 21:59:45 +0000 (17:59 -0400)
test/error-handling/bc.dynadoc [new file with mode: 0644]

diff --git a/test/error-handling/bc.dynadoc b/test/error-handling/bc.dynadoc
new file mode 100644 (file)
index 0000000..cb84382
--- /dev/null
@@ -0,0 +1,32 @@
+> :- backchain a/0.
+| a += 1/0.
+| b = a.
+
+Changes
+=======
+b = $error.
+>>> 1 new errors. Type `sol` for details.
+
+> rules
+
+Rules
+=====
+  0: a += 1/0.
+  1: b = a.
+
+> retract_rule 0
+
+Changes
+=======
+b = null.
+
+>>> 1 errors cleared.
+
+> sol
+
+Solution empty.
+
+%
+%> a = &foo.
+%
+%> sol
\ No newline at end of file