diff --git a/ChangeLog b/ChangeLog index 328feeb28..6f634ce09 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2004-11-29 Alexandre Duret-Lutz + + * src/tgbatest/emptchkr.test: Try degeneralized automata. + * src/tgbatest/randtgba.cc (main): Pass the correct automaton to + minimize_run(). + 2004-11-28 Alexandre Duret-Lutz * src/ltltest/equals.cc (main): Add option -E. diff --git a/src/tgbatest/emptchkr.test b/src/tgbatest/emptchkr.test index c11fa6eaa..0f1dc414f 100755 --- a/src/tgbatest/emptchkr.test +++ b/src/tgbatest/emptchkr.test @@ -49,3 +49,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 diff --git a/src/tgbatest/randtgba.cc b/src/tgbatest/randtgba.cc index 19d6b868b..d166c073b 100644 --- a/src/tgbatest/randtgba.cc +++ b/src/tgbatest/randtgba.cc @@ -491,7 +491,7 @@ main(int argc, char** argv) if (opt_minim) { spot::tgba_run* minrun = - spot::minimize_run(a, run); + spot::minimize_run(res->automaton(), run); if (!spot::replay_tgba_run(s, res->automaton(), minrun)) {