removing decrement of cardinality in quickcheck -- counting cardinalities starts at 1
authorbulwahn
Thu, 07 Apr 2011 14:51:28 +0200
changeset 42275 79be89e07589
parent 42274 50850486f8dc
child 42276 992892b48296
removing decrement of cardinality in quickcheck -- counting cardinalities starts at 1
src/Tools/quickcheck.ML
--- a/src/Tools/quickcheck.ML	Thu Apr 07 14:51:26 2011 +0200
+++ b/src/Tools/quickcheck.ML	Thu Apr 07 14:51:28 2011 +0200
@@ -340,7 +340,7 @@
       (* FIXME: why decrement size by one? *)
       let
         val (ts, timing) = cpu_time ("size " ^ string_of_int size ^ " and card " ^ string_of_int card)
-          (fn () => fst (test_fun [card - 1, size - 1]))
+          (fn () => fst (test_fun [card, size - 1]))
         val _ = add_timing timing current_result
       in
         Option.map (pair card) ts