From 0fc279c56e053e2ff55ce8007120a84f95e533d4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 10 Dec 2004 16:23:05 +0000 Subject: [PATCH] * src/tgbatest/emptchkr.test: Tune the "big degeneralized" test so it actually explore some accepting automata. --- ChangeLog | 3 +++ src/tgbatest/emptchkr.test | 3 +-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index c406469b2..8e3b1ae82 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-12-10 Alexandre Duret-Lutz + * src/tgbatest/emptchkr.test: Tune the "big degeneralized" test + so it actually explore some accepting automata. + * src/tgbaalgos/gtec/gtec.hh, src/tgbaalgos/gtec/gtec.cc (couvreur99_check_shy::couvreur99_check_shy): Add the group option, and redefine todo as a list so it can be iterated over. diff --git a/src/tgbatest/emptchkr.test b/src/tgbatest/emptchkr.test index 0f1dc414f..2997c50b3 100755 --- a/src/tgbatest/emptchkr.test +++ b/src/tgbatest/emptchkr.test @@ -48,5 +48,4 @@ run 0 ./randtgba -e 100 -s 550 -r -m -a 4 0.2 -d 0.08 # Bigger automata. With valgrind this is slow, so we do less. run 0 ./randtgba -e 10 -s 0 -n 500 -r -m -a 1 0.0003 -d 0.01 -run 0 ./randtgba -e 10 -s 0 -n 500 -r -m -a 4 0.0003 -d 0.01 -run 0 ./randtgba -e 10 -s 0 -n 500 -r -m -a 4 0.0005 -D -d 0.01 +run 0 ./randtgba -e 10 -s 0 -n 500 -r -m -a 4 0.0011 -D -d 0.01