Hello,

I'm happy to announce the first release of a small QuickCheck
implementation for OCaml, named `QCheck`. It consists in writing
invariants as function t -> bool for some type t, and then checking that
the invariant holds on randomly generated instances of t.

QCheck is designed so that writing tests is as easy as possible[1],
especially for Arbitrary instances (the part where you generate random
values of a type) where it provides many combinators.

The library requires OCaml >= 4.00.1, and is available under the BSD
license on opam via:

    $ opam install qcheck

You can find documentation at:
http://cedeela.fr/~simon/software/qcheck/QCheck.html
source code at:
https://github.com/c-cube/qcheck
and some explanations here:
http://cedeela.fr/quickcheck-for-ocaml.html

Feedback or comments welcome!
Cheers,

-- 
Simon

[1] your mileage might vary ;)