# HG changeset patch
# User bulwahn
# Date 1316435093 -7200
# Node ID a915907a67d55762cf3052375bd90f41fbe830c5
# Parent  6e6e958b2d4034283c0021eace7c050b7150b4ec
increasing quickcheck timeout to reduce spurious test failures due to massive parallel invocations and bad scheduling

diff -r 6e6e958b2d40 -r a915907a67d5 src/HOL/ex/Quickcheck_Lattice_Examples.thy
--- a/src/HOL/ex/Quickcheck_Lattice_Examples.thy	Sun Sep 18 16:12:43 2011 -0700
+++ b/src/HOL/ex/Quickcheck_Lattice_Examples.thy	Mon Sep 19 14:24:53 2011 +0200
@@ -18,7 +18,7 @@
   inf (infixl "\<sqinter>" 70) and
   sup (infixl "\<squnion>" 65)
 
-declare [[quickcheck_narrowing_active = false]]
+declare [[quickcheck_narrowing_active = false, quickcheck_timeout = 3600]]
 
 subsection {* Distributive lattices *}