diff --git a/_oasis b/_oasis index ff9b3700..778c420a 100644 --- a/_oasis +++ b/_oasis @@ -172,7 +172,7 @@ Executable run_tests CompiledObject: native MainIs: run_tests.ml Build$: flag(tests) - BuildDepends: containers, oUnit + BuildDepends: containers, oUnit, qcheck Executable web_pwd Path: examples/cgi/ diff --git a/tests/test_vector.ml b/tests/test_vector.ml index a72d02eb..878937a4 100644 --- a/tests/test_vector.ml +++ b/tests/test_vector.ml @@ -48,7 +48,7 @@ let suite = open QCheck module V = Vector -let gen sub = Arbitrary.(lift V.from_list (list sub)) +let gen sub = Arbitrary.(lift V.of_list (list sub)) let pp v = PP.(list string) (List.map string_of_int (V.to_list v)) let check_append = @@ -66,7 +66,7 @@ let check_sort = let gen = Arbitrary.(gen small_int) in let prop v = let v' = V.copy v in - V.sort v'; + V.sort' Pervasives.compare v'; let l = V.to_list v' in List.sort compare l = l in