* src/tgbatest/emptchkr.test: Try degeneralized automata.

* src/tgbatest/randtgba.cc (main): Pass the correct automaton to
minimize_run().

ChangeLog

+2004-11-29  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* 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  <adl@src.lip6.fr>
 
 	* src/ltltest/equals.cc (main): Add option -E.

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

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))
 				{