# HG changeset patch
# User berghofe
# Date 1188318408 -7200
# Node ID 841c2e24761f905301cbe4bc6a21f4985876d3f0
# Parent  d66cd8668a910a444175e6575abf639593909443
Smaller size and fewer iterations for quickcheck.

diff -r d66cd8668a91 -r 841c2e24761f src/HOL/Code_Setup.thy
--- a/src/HOL/Code_Setup.thy	Tue Aug 28 18:24:34 2007 +0200
+++ b/src/HOL/Code_Setup.thy	Tue Aug 28 18:26:48 2007 +0200
@@ -61,6 +61,8 @@
 end
 *}
 
+quickcheck_params [size = 5, iterations = 50]
+
 text {* Evaluation *}
 
 method_setup evaluation = {*