From 219e06c1fe24ea983ac2aa41290189bb64ee4f82 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 27 Sep 2015 19:27:44 +0200 Subject: [PATCH] update tests so they run faster --- src/core/CCHeap.ml | 4 ++-- src/data/CCHashconsedSet.ml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/core/CCHeap.ml b/src/core/CCHeap.ml index 8aaf953b..97bccb00 100644 --- a/src/core/CCHeap.ml +++ b/src/core/CCHeap.ml @@ -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' ) diff --git a/src/data/CCHashconsedSet.ml b/src/data/CCHashconsedSet.ml index a6533adc..5775316e 100644 --- a/src/data/CCHashconsedSet.ml +++ b/src/data/CCHashconsedSet.ml @@ -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)) *)