harder tests of stability

LesBoloss-es · May 5, 2021 · a2923a2 · a2923a2
1 parent c0a9c19
commit a2923a2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/tests/arrays.ml b/tests/arrays.ml
@@ -49,8 +49,7 @@ let test_one_stable sorter =
     for log2_len = 1 to 5 do
       let len = 1 lsl (3 * log2_len) in
       Format.printf "[%d] @?" len;
-      test_stable ~sort:sorter.sorter ~gen:gen_unif ~nb ~len;
-      test_stable ~sort:sorter.sorter ~gen:(gen_k_runs 5) ~nb ~len
+      test_stable ~sort:sorter.sorter ~gen:(gen_unif ~limit:(len / 4)) ~nb ~len;
     done;
     Format.printf "done.@."
   with

diff --git a/tests/genlib/genarray.ml b/tests/genlib/genarray.ml
@@ -1,5 +1,7 @@
-let gen_unif len =
-  Array.init len (fun _ -> Random.bits ())
+let max_random_int = (1 lsl 30) - 1
+
+let gen_unif ?(limit=max_random_int) len =
+  Array.init len (fun _ -> Random.int limit)
 
 let gen_run ~asc t ofs len =
   let (+-), limit =