From: Simon Cruanes <simon.cruanes.2007@m4x.org>
To: OCaml users <caml-list@inria.fr>
Subject: [Caml-list] [ANN] QCheck 0.1
Date: Mon, 7 Oct 2013 10:35:49 +0200 [thread overview]
Message-ID: <20131007083549.GA22920@emmental.inria.fr> (raw)
[-- Attachment #1: Type: text/plain, Size: 896 bytes --]
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 ;)
[-- Attachment #2: Type: application/pgp-signature, Size: 836 bytes --]
next reply other threads:[~2013-10-07 8:36 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-10-07 8:35 Simon Cruanes [this message]
2013-10-07 8:44 ` Francois Berenger
2013-10-07 8:50 ` Simon Cruanes
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20131007083549.GA22920@emmental.inria.fr \
--to=simon.cruanes.2007@m4x.org \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox