From b7d19e9dc575a94f1ca53a5cab2dc22c61a70b2d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 5 Jul 2022 21:29:03 -0400 Subject: [PATCH] test --- tests/data/t_bv.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tests/data/t_bv.ml b/tests/data/t_bv.ml index a37b0dad..1d0428c9 100644 --- a/tests/data/t_bv.ml +++ b/tests/data/t_bv.ml @@ -781,7 +781,8 @@ module Ref_ = struct end ;; -q ~name:"list ops: invariant" ~max_fail:1 ~count:20_000 Op.arb_l (fun ops -> +q ~name:"list ops: invariant" ~max_fail:1 ~long_factor:10 ~count:20_000 Op.arb_l + (fun ops -> let bv = empty () in Internal_.__check_invariant bv; @@ -793,7 +794,8 @@ q ~name:"list ops: invariant" ~max_fail:1 ~count:20_000 Op.arb_l (fun ops -> true) ;; -q ~name:"list ops: compare to ref" ~max_fail:1 ~count:2_000 Op.arb_l (fun ops -> +q ~name:"list ops: compare to ref" ~max_fail:1 ~long_factor:10 ~count:2_000 + Op.arb_l (fun ops -> let bv = empty () in let bv' = Ref_.empty () in