# HG changeset patch # User bulwahn # Date 1316681333 -7200 # Node ID 8570623e3b6ddb7411294a9654e98c5582d2b3aa # Parent 632a033616e933a4a3d222cf223ca889a64c7926 changing quickcheck_timeout to 30 seconds in mutabelle's testing diff -r 632a033616e9 -r 8570623e3b6d src/HOL/Mutabelle/lib/Tools/mutabelle --- 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\",