Re: [Caml-list] Quick Check like testing for OCaml?

[Gabriel Scherer <gabriel.scherer@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 2685 bytes --]

>
>
> 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 <yminsky@janestreet.com>
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
>>
>
>

[-- Attachment #2: Type: text/html, Size: 4482 bytes --]