From f57097b991469c9cb5f683a3d8a1b1449b503b37 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 20 Apr 2007 12:29:51 +0000 Subject: [PATCH] * src/tgbatest/spotlbtt.test: Disable formula rewriting during construction. --- ChangeLog | 5 +++++ src/tgbatest/spotlbtt.test | 6 +++--- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9b63ed856..08b14841d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2007-04-20 Alexandre Duret-Lutz + + * src/tgbatest/spotlbtt.test: Disable formula rewriting during + construction. + 2007-04-19 Alexandre Duret-Lutz * src/ltltest/reduc.cc (main): More cases to test. diff --git a/src/tgbatest/spotlbtt.test b/src/tgbatest/spotlbtt.test index 06bac3982..ed77136bd 100755 --- a/src/tgbatest/spotlbtt.test +++ b/src/tgbatest/spotlbtt.test @@ -1,5 +1,5 @@ #!/bin/sh -# Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de +# Copyright (C) 2003, 2004, 2005, 2006, 2007 Laboratoire d'Informatique de # Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), # Université Pierre et Marie Curie. # @@ -113,7 +113,7 @@ Algorithm Name = "Spot (Couvreur -- FM), reduction of formula in FM" Path = "${LBTT_TRANSLATE}" Parameters = "--spot './ltl2tgba -fr4 -F -f -t'" - Enabled = yes + Enabled = no } Algorithm @@ -121,7 +121,7 @@ Algorithm Name = "Spot (Couvreur -- FM) reduction7 of formula in FM" Path = "${LBTT_TRANSLATE}" Parameters = "--spot './ltl2tgba -fr7 -F -f -t'" - Enabled = yes + Enabled = no }