From 07378ec73caf1b5c301cbb0b0773000774da7468 Mon Sep 17 00:00:00 2001 From: Tim Vieira Date: Sun, 21 Jul 2013 18:46:24 -0400 Subject: [PATCH] add test case for an instance of a cyclic program which uselessly runs off to infinity when we retract a node. --- test/known-failures/retract-to-inf.dynadoc | 26 ++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 test/known-failures/retract-to-inf.dynadoc 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 -- 2.50.1