* src/tgbatest/spotlbtt.test: Make 100 rounds.

ChangeLog

 2003-07-10  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* src/tgbatest/spotlbtt.test: Make 100 rounds.
+
 	* src/tgba/succiterconcrete.cc (tgba_succ_iterator_concrete::next):
 	Fix so that !p.!Acc[g].Acc[f] + p.!Acc[g].Acc[f] + p.Acc[g].!Acc[f]
 	is factored as !p.!Acc[g].Acc[f] + p.(!Acc[g].Acc[f] + Acc[g].!Acc[f]),

src/tgbatest/spotlbtt.test

@@ -14,13 +14,15 @@ Algorithm
 
 GlobalOptions
 {
-   Rounds = 1
+   Rounds = 100
    Interactive = Never
 #   Verbosity = 5
 }
 
 FormulaOptions
 {
+  Size = 1...13
+  Propositions = 6
 
   AbbreviatedOperators = Yes
   GenerateMode = Normal
@@ -32,7 +34,7 @@ FormulaOptions
 
   AndPriority = 10
   OrPriority = 10
-  
+
   BeforePriority = 0
   StrongReleasePriority = 0
   WeakUntilPriority = 0