From: "Török Edwin" <edwin+ml-ocaml@etorok.net>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Quick Check like testing for OCaml?
Date: Sun, 13 Sep 2015 11:42:22 +0300 [thread overview]
Message-ID: <55F536EE.5010901@etorok.net> (raw)
In-Reply-To: <CALVfURyQmmsocVVJVuveMaJZWpqfbNajn=O5KrjkmeGbtufggQ@mail.gmail.com> (sfid-20150913_110916_322446_906EA80B)
On 09/13/2015 11:09 AM, Keiko Nakata wrote:
> Hi,
>
> I am looking for (reasonably matured and hopefully easy to install) QuickCheck-like property based testing software for OCaml code.
>
> Any information is appreciated!
There is qcheck.0.4, quickcheck.1.0.2 and kaputt.1.2 on opam.
qcheck has documentation in the mli, integration with OUnit and quite easy to get started with.
Kaputt also has reducers (to produce smaller counterexamples), and SmallCheck-like enumeration tests.
I haven't tried quickcheck, and haven't found an equivalent to SmartCheck's counterexample generalization [1]
[1] https://www.cs.indiana.edu/~lepike/pubs/smartcheck.pdf
Best regards,
--Edwin
next prev parent reply other threads:[~2015-09-13 8:42 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-09-13 8:09 Keiko Nakata
2015-09-13 8:42 ` Török Edwin [this message]
2015-09-13 15:52 ` Simon Cruanes
2015-09-15 13:09 ` Yaron Minsky
2015-09-15 14:06 ` Gabriel Scherer
2015-09-15 14:21 ` Carl Eastlund
2015-09-15 14:30 ` Simon Cruanes
2015-09-15 14:44 ` Carl Eastlund
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=55F536EE.5010901@etorok.net \
--to=edwin+ml-ocaml@etorok.net \
--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;
as well as URLs for NNTP newsgroup(s).