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