fix tests

This commit is contained in:
Simon Cruanes 2014-06-15 23:50:28 +02:00
parent 10029acd42
commit 5422a6ad65
2 changed files with 3 additions and 3 deletions

2
_oasis
View file

@ -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/

View file

@ -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