migrate to new qtest

This commit is contained in:
Simon Cruanes 2016-03-20 16:02:11 +01:00
parent 6e46687ee8
commit 71794d8d45
4 changed files with 5 additions and 5 deletions

View file

@ -26,5 +26,5 @@ PKG bigarray
PKG sequence
PKG hamt
PKG gen
PKG QTest2Lib
PKG qcheck
FLG -w +a -w -4 -w -44

4
_oasis
View file

@ -155,7 +155,7 @@ Executable run_benchs
CompiledObject: best
Build$: flag(bench)
MainIs: run_benchs.ml
BuildDepends: containers, containers.advanced, QTest2Lib,
BuildDepends: containers, containers.advanced, qcheck,
containers.data, containers.string, containers.iter,
containers.thread, sequence, gen, benchmark, hamt
@ -179,7 +179,7 @@ Executable run_qtest
containers.io, containers.advanced, containers.sexp,
containers.bigarray, containers.unix, containers.thread,
containers.data,
sequence, gen, unix, oUnit, QTest2Lib
sequence, gen, unix, oUnit, qcheck
Test all
Command: ./run_qtest.native

View file

@ -1157,7 +1157,7 @@ end
module Str = struct
(* random string, but always returns the same for a given size *)
let rand_str_ ?(among="abcdefgh") n =
let module Q = Quickcheck in
let module Q = QCheck in
let st = Random.State.make [| n + 17 |] in
let gen_c = Q.Gen.oneofl (CCString.to_list among) in
Q.Gen.string_size ~gen:gen_c (Q.Gen.return n) st

View file

@ -213,5 +213,5 @@ let uniformity_test ?(size_hint=10) k rng st =
Hashtbl.fold predicate histogram true
(*$T split_list
run ~st:(Runner.random_state()) ( uniformity_test 50_000 (split_list 10 ~len:3) )
run ~st:(QCheck_runner.random_state()) ( uniformity_test 50_000 (split_list 10 ~len:3) )
*)