# 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\",