# HG changeset patch
# User bulwahn
# Date 1330157273 -3600
# Node ID bc03b533b061b6e72a9cd3aed7cc17953cf3f625
# Parent  34e26d5119ef3c90fb6ded6d9219079600e953bf
slightly changing the enumeration scheme

diff -r 34e26d5119ef -r bc03b533b061 src/HOL/Tools/Quickcheck/quickcheck_common.ML
--- a/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Sat Feb 25 09:07:51 2012 +0100
+++ b/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Sat Feb 25 09:07:53 2012 +0100
@@ -187,11 +187,11 @@
       let
         val _ =
           Quickcheck.verbose_message ctxt ("[Quickcheck-" ^ name ^ "] Test " ^
-            (if size = 0 then "" else "data size: " ^ string_of_int (size - 1) ^ " and ") ^
+            (if size = 0 then "" else "data size: " ^ string_of_int size ^ " and ") ^
             "cardinality: " ^ string_of_int card)          
         val (ts, timing) =
           cpu_time ("size " ^ string_of_int size ^ " and card " ^ string_of_int card)
-            (fn () => fst (test_fun genuine_only [card, size - 1]))
+            (fn () => fst (test_fun genuine_only [card, size + 1]))
         val _ = Quickcheck.add_timing timing current_result
       in
         Option.map (pair (card, size)) ts