src/HOL/Code_Setup.thy
changeset 24463 841c2e24761f
parent 24293 7e67b9706211
child 24835 8c26128f8997
     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 = {*