Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/quickcheck.ML
changeset 42275 79be89e07589
parent 42198 ded5ba6b7bac
child 42361 23f352990944 
--- 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
isabelle