Core_kernel has a recently added quickcheck library. Carl Eastlund, who is the main author, is finishing up a blog post describing it, but you can start with the documentation in this file: https://github.com/janestreet/core_kernel/blob/master/src/quickcheck_generator.mli On Sun, Sep 13, 2015 at 11:52 AM, Simon Cruanes wrote: > There is also qtest (also called iTeML on github) which is a bit > special: it's a testing framework providing unit testing through OUnit, > and simple random testing; its specificy is that tests can be written in > comments within the module to test, so that the code itself has no > additional > dependencies or code bloat due to tests. It is very easy to write new > tests, since you don't have to add specific test modules. > It is used, afaik, at least in Batteries and in containers. > > I am probably going to work on making qtest and qcheck a bit closer, if > qtest's developper(s) agree. > > Cheers, > > Le Sun, 13 Sep 2015, Török Edwin a écrit : > > 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 > > > > -- > > Caml-list mailing list. Subscription management and archives: > > https://sympa.inria.fr/sympa/arc/caml-list > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > -- > Simon Cruanes > > http://weusepgp.info/ > key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA > 62B6 >