* src/tgbatest/readsave.test: Fix parameter of randtgba call.

more statistics.
the heap used for bit state hashing version and adjust the prototype of
* src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: adjust the
prototype of has_been_visited and pop_notify.

ChangeLog

+2005-01-13  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
+
+	* src/tgbatest/readsave.test: Fix parameter of randtgba call.
+
 2005-01-12  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
 
 	* src/tgbatest/randtgba.cc: Add products with randomized formulae and
-        more statistics.
+	more statistics.
 
 2005-01-11  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
@@ -155,10 +159,10 @@
 	* src/tgbaalgos/bfssteps.hh, src/tgbaalgos/bfssteps.cc: Add the method
 	finalize witch compute (by default) the traversed path.
 	* src/tgbaalgos/magic.cc, src/tgbaalgos/se05.cc: Fix a bug concerning
-	the heap used for bit state hashing version and ajust the prototype of
+	the heap used for bit state hashing version and adjust the prototype of
 	has_been_visited and pop_notify.
-	* src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: ajust the prototype
-	of has_been_visited and pop_notify.
+	* src/tgbaalgos/tau03.cc, src/tgbaalgos/tau03opt.cc: adjust the
+	prototype of has_been_visited and pop_notify.
 
 2004-12-17  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 

src/tgbatest/readsave.test

@@ -60,7 +60,7 @@ rm -f input stdout expected
 
 
 # Likewise, with a randomly generated TGBA.
-run 0 ./randtgba -t 1 -n 20 -d 0.2 a b -a 2 0.1 >input
+run 0 ./randtgba -F 0 -t 1 -n 20 -d 0.2 a b -a 2 0.1 >input
 sed 's/"b & a"/"a \& b"/g;s/"a1" "a0"/"a0" "a1"/g' input > tmp_ &&
   mv tmp_ input
 cat input