increasing quickcheck timeout to reduce spurious test failures due to massive parallel invocations and bad scheduling
authorbulwahn
Mon Sep 19 14:24:53 2011 +0200 (2011-09-19)
changeset 44994a915907a67d5
parent 44984 6e6e958b2d40
child 44995 eff5bccc9b76
increasing quickcheck timeout to reduce spurious test failures due to massive parallel invocations and bad scheduling
src/HOL/ex/Quickcheck_Lattice_Examples.thy
     1.1 --- a/src/HOL/ex/Quickcheck_Lattice_Examples.thy	Sun Sep 18 16:12:43 2011 -0700
     1.2 +++ b/src/HOL/ex/Quickcheck_Lattice_Examples.thy	Mon Sep 19 14:24:53 2011 +0200
     1.3 @@ -18,7 +18,7 @@
     1.4    inf (infixl "\<sqinter>" 70) and
     1.5    sup (infixl "\<squnion>" 65)
     1.6  
     1.7 -declare [[quickcheck_narrowing_active = false]]
     1.8 +declare [[quickcheck_narrowing_active = false, quickcheck_timeout = 3600]]
     1.9  
    1.10  subsection {* Distributive lattices *}
    1.11