From 5422a6ad6593f44c04dd3a899b12d7c174182724 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 15 Jun 2014 23:50:28 +0200 Subject: [PATCH] fix tests --- _oasis | 2 +- tests/test_vector.ml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) 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