From b0c8840a08a5991085da1f962b6fbd4c1eaf210f Mon Sep 17 00:00:00 2001
From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Thu, 25 Jul 2013 14:42:59 -0400
Subject: [PATCH] additional tests fro issue #52

---
 test/repl/issue52-2.dynadoc | 81 +++++++++++++++++++++++++++++++++++++
 1 file changed, 81 insertions(+)
 create mode 100644 test/repl/issue52-2.dynadoc

diff --git a/test/repl/issue52-2.dynadoc b/test/repl/issue52-2.dynadoc
new file mode 100644
index 0000000..ac442f5
--- /dev/null
+++ b/test/repl/issue52-2.dynadoc
@@ -0,0 +1,81 @@
+
+> a max= 5 with_key "five".
+
+Changes
+=======
+$key(a) = "five".
+a = 5.
+
+> a max= 10 with_key "ten".
+
+Changes
+=======
+$key(a) = "ten".
+a = 10.
+
+> retract_rule 1
+
+Changes
+=======
+$key(a) = "five".
+a = 5.
+
+> retract_rule 0
+
+Changes
+=======
+$key(a) = null.
+a = null.
+
+
+
+> b max= 10 with_key "ten".
+| b max= 5 with_key "five".
+
+Changes
+=======
+$key(b) = "ten".
+b = 10.
+
+> retract_rule 2
+
+Changes
+=======
+$key(b) = "five".
+b = 5.
+
+
+% TODO: (bug) with_key(_,_) > 100
+> c max= 10 with_key "ten".
+| c max= 5 with_key "five".
+| c max= 100.
+
+Changes
+=======
+$key(c) = "ten".
+c = 10.
+
+> retract_rule 4
+
+Changes
+=======
+$key(c) = "five".
+c = 5.
+
+> retract_rule 5
+
+Changes
+=======
+$key(c) = null.
+c = 100.
+
+> sol
+
+Solution
+========
+b = 5.
+c = 100.
+
+$key/1
+======
+$key(b) = "five".
-- 
2.50.1