From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Sun, 21 Jul 2013 22:46:24 +0000 (-0400)
Subject: add test case for an instance of a cyclic program which uselessly runs off to infinit... 
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=07378ec73caf1b5c301cbb0b0773000774da7468;p=dyna2

add test case for an instance of a cyclic program which uselessly runs off to infinity when we retract a node.
---

diff --git a/test/known-failures/retract-to-inf.dynadoc b/test/known-failures/retract-to-inf.dynadoc
new file mode 100644
index 0000000..fa4f992
--- /dev/null
+++ b/test/known-failures/retract-to-inf.dynadoc
@@ -0,0 +1,26 @@
+% retract start and this program goes to infinity!
+
+> path(start) min= 0.
+| path(B)     min= path(A) + edge(A,B).
+|
+| edge("a","b") := 1.0.
+| edge("b","c") := 2.0.
+| edge("c","d") := 3.0.
+| edge("c","b") := 4.0.
+| start := "a".
+
+Changes
+=======
+edge("a","b") = 1.0.
+edge("b","c") = 2.0.
+edge("c","b") = 4.0.
+edge("c","d") = 3.0.
+path("a") = 0.
+path("b") = 1.0.
+path("c") = 3.0.
+path("d") = 6.0.
+start = "a".
+
+> retract_rule 6
+
+> sol
\ No newline at end of file