From 7627b9673b67f127852cfb1f83901a7c0f5e5835 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 25 Nov 2010 19:59:46 +0100 Subject: [PATCH] * src/tgbatest/ltl2tgba.test: Test both -l and -f. This should have been done on 2010-01-30 when the default translation was changed from -l to -f. --- ChangeLog | 8 +++++++- src/tgbatest/ltl2tgba.test | 2 +- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 5573c57d1..bd656264e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2010-11-25 Alexandre Duret-Lutz + + * src/tgbatest/ltl2tgba.test: Test both -l and -f. This should + have been done on 2010-01-30 when the default translation was + changed from -l to -f. + 2010-11-25 Alexandre Duret-Lutz * src/tgbaalgos/scc.hh: Typos in the documentation. @@ -980,7 +986,7 @@ Speedup reduc.test by not spawning one process per formula. - * src/ltltest/reduc.cc: Add an option -f to read a lost of + * src/ltltest/reduc.cc: Add an option -f to read a lot of formulae from a file. Running a process for each formula was too slow. Also add an option -h to hide reduced formulae. * src/ltltest/reduc.test: Simplify accordingly. diff --git a/src/tgbatest/ltl2tgba.test b/src/tgbatest/ltl2tgba.test index e5d9e1197..2c2054052 100755 --- a/src/tgbatest/ltl2tgba.test +++ b/src/tgbatest/ltl2tgba.test @@ -29,7 +29,7 @@ set -e check () { - run 0 ../ltl2tgba "$1" + run 0 ../ltl2tgba -l "$1" run 0 ../ltl2tgba -f "$1" run 0 ../ltl2tgba -f -FC "$1" }