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

update tests so they run faster

Browse source
This commit is contained in:
Simon Cruanes 2015-09-27 19:27:44 +02:00
parent 6723c8283c
commit 219e06c1fe
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/core/CCHeap.ml
View file

@ -76,10 +76,10 @@ end
*)
(*$QR & ~count:30
Q.(list_of_size Gen.(return 10_000) int) (fun l ->
Q.(list_of_size Gen.(return 1_000) int) (fun l ->
(* put elements into a heap *)
let h = H.of_seq H.empty (Sequence.of_list l) in
OUnit.assert_equal 10_000 (H.size h);
OUnit.assert_equal 1_000 (H.size h);
let l' = extract_list h in
is_sorted l'
)

4
src/data/CCHashconsedSet.ml
View file

@ -263,7 +263,7 @@ module Make(E : ELT) : S with type elt = E.t = struct
let add x t = add_rec_ (E.hash x) x t
(*$Q & ~count:20
Q.(list int) (fun l -> \
Q.(list_of_size Gen.(0 -- 300) int) (fun l -> \
let module S = Make(CCInt) in \
let m = S.of_list l in \
List.for_all (fun x -> S.mem x m) l)
@ -396,7 +396,7 @@ module Make(E : ELT) : S with type elt = E.t = struct
else empty
(*$Q
Q.(list int) (fun l -> \
Q.(list_of_size Gen.(0 -- 300) int) (fun l -> \
let module S = Make(CCInt) in \
let s = S.of_list l in S.equal s (S.inter s s))
*)