Fwd: [Caml-list] [ANN] QCheck 0.1

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

Jon (and others), here's the QuickCheck library I mentioned on the Mirage call.

Begin forwarded message:

> From: Simon Cruanes <simon.cruanes.2007@xxxxxxx>
> Subject: [Caml-list] [ANN] QCheck 0.1
> Date: 7 October 2013 09:35:49 BST
> To: OCaml users <caml-list@xxxxxxxx>
> Reply-To: Simon Cruanes <simon.cruanes.2007@xxxxxxx>
> 
> 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 ;)