From 89c33952c9122dc1e303c0b8d5391976fb3f686e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 18 Feb 2005 14:34:17 +0000 Subject: [PATCH] * bench/emptchk/README: Document the file `algorithms'. --- ChangeLog | 2 ++ bench/emptchk/README | 7 +++++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index ff5be947c..ad3cc32ab 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2005-02-18 Alexandre Duret-Lutz + * bench/emptchk/README: Document the file `algorithms'. + * src/tgbaalgos/tau03opt.cc (tau03_opt_search): Implement the "condition heuristic". Suggested by Heikki Tauriainen. * src/tgbatest/randtgba.cc: Test it. diff --git a/bench/emptchk/README b/bench/emptchk/README index e42b16788..0b22eac5a 100644 --- a/bench/emptchk/README +++ b/bench/emptchk/README @@ -142,6 +142,9 @@ This directory contains: file `algorihms'. You should have run `make' before attempting to run this script, so the state space are available. +* algorithms + + The list of emptiness-check algorithms run by the above tests. ======= USAGE @@ -168,8 +171,8 @@ This directory contains: Running ltl-random.sh took 4 hours on a 3GHz Intel Pentium 4, and ltl-human.sh took 9 hours. - You can speed up the pml-*.sh tests by removing some algorithms - from the `algorithms' file. + You can speed up all tests by removing some algorithms from the + `algorithms' file. ========================== INTERPRETING THE RESULTS