simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 11:15:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

make tests faster

Browse source
This commit is contained in:
Simon Cruanes 2017-03-16 10:27:00 +01:00
parent b5be1d71a9
commit 923e83b0fc
3 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/CCArray.ml
View file

@ -183,7 +183,7 @@ let sort_ranking cmp a =
*)
(*$Q
Q.(array printable_string) (fun a -> \
Q.(array_of_size Gen.(0--50) printable_string) (fun a -> \
let b = sort_ranking String.compare a in \
let a_sorted = sorted String.compare a in \
a = Array.map (Array.get a_sorted) b)

4
src/core/CCArray_slice.ml
View file

@ -306,7 +306,7 @@ let sort_ranking cmp a =
*)
(*$Q
Q.(array printable_string) (fun a -> \
Q.(array_of_size Gen.(0--50) printable_string) (fun a -> \
Array.length a > 10 ==> ( Array.length a > 10 && \
let s = make a 5 ~len:5 in \
let b = sort_indices String.compare s in \
@ -325,7 +325,7 @@ let sort_indices cmp a = _sort_indices cmp a.arr a.i a.j
*)
(*$Q
Q.(array printable_string) (fun a -> \
Q.(array_of_size Gen.(0--60) printable_string) (fun a -> \
Array.length a > 10 ==> ( Array.length a > 10 && \
let s = make a 5 ~len:5 in \
let b = sort_ranking String.compare s in \

2
src/threads/CCPool.ml
View file

@ -503,7 +503,7 @@ module Make(P : PARAM) = struct
let l =
CCList.(1--10_000)
|> List.rev_map
(fun x-> Fut.make (fun () -> Thread.yield(); fib (x mod 30)))
(fun x-> Fut.make (fun () -> Thread.yield(); fib (x mod 20)))
|> Fut.(map_l (fun x->x>|= fun x->x+1))
in
OUnit.assert_bool "not done" (Fut.state l = Waiting);