From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Thu, 25 Jul 2013 18:42:59 +0000 (-0400)
Subject: additional tests fro issue #52
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=b0c8840a08a5991085da1f962b6fbd4c1eaf210f;p=dyna2

additional tests fro issue #52
---

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".