From bbf8536ac167e5687af8afafadf4b079dc8845cf Mon Sep 17 00:00:00 2001 From: Tim Vieira Date: Mon, 5 Aug 2013 17:59:45 -0400 Subject: [PATCH] new test case --- test/error-handling/bc.dynadoc | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 test/error-handling/bc.dynadoc diff --git a/test/error-handling/bc.dynadoc b/test/error-handling/bc.dynadoc new file mode 100644 index 0000000..cb84382 --- /dev/null +++ b/test/error-handling/bc.dynadoc @@ -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 -- 2.50.1