simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 11:15:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

updated doc

Browse source
This commit is contained in:
Simon Cruanes 2013-10-04 14:50:39 +02:00
parent 4c46f9a697
commit 3f9a33e1d0
1 changed files with 8 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
qCheck.mli
View file

@ -51,14 +51,18 @@ Examples:
- Not all lists are sorted: - Not all lists are sorted:
{[QCheck.run ~n:10 ~pp:QCheck.PP.(list int) {[
QCheck.Arbitrary.(list small_int) (fun l -> l = List.sort compare l);; let test = QCheck.(mk_test ~n:10 ~pp:QCheck.PP.(list int)
QCheck.Arbitrary.(list small_int) (fun l -> l = List.sort compare l));;
QCheck.run test;;
]} ]}
- List.rev is involutive: - List.rev is involutive:
{[QCheck.run ~n:1000 QCheck.Arbitrary.(list alpha) {[
(fun l -> List.rev (List.rev l) = l) let test = QCheck.mk_test ~n:1000 QCheck.Arbitrary.(list alpha)
(fun l -> List.rev (List.rev l) = l);;
QCheck.run test;;
]} ]}
- generate a tree using {! Arbitrary.fix} : - generate a tree using {! Arbitrary.fix} :