| changeset 45040 | 8570623e3b6d |
| parent 43912 | 13e6a4e70219 |
| child 45165 | f4896c792316 |
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle Thu Sep 22 07:26:53 2011 +0200 +++ b/src/HOL/Mutabelle/lib/Tools/mutabelle Thu Sep 22 10:48:53 2011 +0200 @@ -83,6 +83,8 @@ \"$MUTABELLE_HOME/mutabelle_extra.ML\" begin +declare [[quickcheck_timeout = 30]] + ML {* val mtds = [ MutabelleExtra.quickcheck_mtd (Context.proof_map (Quickcheck.set_active_testers [\"random\"])) \"random\",