Smaller size and fewer iterations for quickcheck.
authorberghofe
Tue Aug 28 18:26:48 2007 +0200 (2007-08-28)
changeset 24463841c2e24761f
parent 24462 d66cd8668a91
child 24464 58d24cbe5fa6
Smaller size and fewer iterations for quickcheck.
src/HOL/Code_Setup.thy
     1.1 --- a/src/HOL/Code_Setup.thy	Tue Aug 28 18:24:34 2007 +0200
     1.2 +++ b/src/HOL/Code_Setup.thy	Tue Aug 28 18:26:48 2007 +0200
     1.3 @@ -61,6 +61,8 @@
     1.4  end
     1.5  *}
     1.6  
     1.7 +quickcheck_params [size = 5, iterations = 50]
     1.8 +
     1.9  text {* Evaluation *}
    1.10  
    1.11  method_setup evaluation = {*