> > > https://github.com/janestreet/core_kernel/blob/master/src/quickcheck_generator.mli > > https://github.com/janestreet/core_kernel/blob/master/src/quickcheck_observer.mli > This is very nice. I hope the library will also get shrinking support, because it not so easy to do, and important in practice. On Tue, Sep 15, 2015 at 3:09 PM, Yaron Minsky wrote: > 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 < > simon.cruanes.2007@m4x.org> 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 >> > >