From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6BEC67F736 for ; Tue, 15 Sep 2015 16:07:39 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f176.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.212.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.212.176 as permitted sender) identity=mailfrom; client-ip=209.85.212.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f176.google.com) identity=helo; client-ip=209.85.212.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-wi0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CjAgCbJfhVlLDUVdFeFoNhaQaCXqoDhQmNZoJBgzYCgTwHOxEBAQEBAQEBEQEBAQEHCwsJHzCEIwEBAQIBAQwGER0BGxILAQMBCwYDAgsDCg0dAgIiAREBBQEKEgYTEhCHdgEDCggNmEaPRoEwPjGLRoFsgnmKBwoZJwMKVoQTAQEBBwEBAQEYAQUOhmWEfYJugTZlBAeCaYFDBYV7DI9VhRCHc4ITlycSI4EXESaCMIF/PDMBAYooAQEB X-IPAS-Result: A0CjAgCbJfhVlLDUVdFeFoNhaQaCXqoDhQmNZoJBgzYCgTwHOxEBAQEBAQEBEQEBAQEHCwsJHzCEIwEBAQIBAQwGER0BGxILAQMBCwYDAgsDCg0dAgIiAREBBQEKEgYTEhCHdgEDCggNmEaPRoEwPjGLRoFsgnmKBwoZJwMKVoQTAQEBBwEBAQEYAQUOhmWEfYJugTZlBAeCaYFDBYV7DI9VhRCHc4ITlycSI4EXESaCMIF/PDMBAYooAQEB X-IronPort-AV: E=Sophos;i="5.17,536,1437429600"; d="scan'208";a="177712912" Received: from mail-wi0-f176.google.com ([209.85.212.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 Sep 2015 16:07:38 +0200 Received: by wicfx3 with SMTP id fx3so30535681wic.1 for ; Tue, 15 Sep 2015 07:07:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=eqWf+XM0zXoKtiC+oAdzAgbqeV1fL28FgbWpaY2X2xw=; b=VfWdA12CXEWQTe9SEwr1y0MFfAClnQdV7OeAyOeiE1HvGXJD9BXawInscZxGzrc14Q XHuOEXpTcRK9V8n+uN81+iKNhKK3/SnBv9/EatpcCGddm9aZ77ok7A0TYVFmk3BPs9wc m49RUV9/kl8Bblyw0ors5rE0nP1jxgpASWIppoyJNzLWcc01GDvdPbKhsdxLS+i+SOS5 NYSvaZWqhvlJ6xkETvhrksL6f8EaRJPoiSy5sAFxsXET6Yf4noSiz6ydOk7gECbluL3S l+XTO/uS1m0/MLgZmO07pjitJjX7zm+Fz8asHgLvAYtxKY/9IgwqWKr5IMza6lY3X85a 0t2w== X-Received: by 10.194.121.202 with SMTP id lm10mr38759433wjb.98.1442326058514; Tue, 15 Sep 2015 07:07:38 -0700 (PDT) MIME-Version: 1.0 Received: by 10.28.148.212 with HTTP; Tue, 15 Sep 2015 07:06:58 -0700 (PDT) In-Reply-To: References: <55F536EE.5010901@etorok.net> <20150913155224.GE16946@carty> From: Gabriel Scherer Date: Tue, 15 Sep 2015 16:06:58 +0200 Message-ID: To: Yaron Minsky Cc: Simon Cruanes , =?UTF-8?B?VMO2csO2ayBFZHdpbg==?= , "caml-list@inria.fr" , Carl Eastlund Content-Type: multipart/alternative; boundary=089e0118451c5e4006051fc9b400 Subject: Re: [Caml-list] Quick Check like testing for OCaml? --089e0118451c5e4006051fc9b400 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable > > > https://github.com/janestreet/core_kernel/blob/master/src/quickcheck_gene= rator.mli > > https://github.com/janestreet/core_kernel/blob/master/src/quickcheck_obse= rver.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_gene= rator.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=C3=B6r=C3=B6k Edwin a =C3=A9crit : >> > 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 >> > > --089e0118451c5e4006051fc9b400 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
= https://github.com/janestreet/core_kernel/blob/master/src/quickcheck_observ= er.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 Minsk= y <yminsky@janestreet.com> wrote:
Core_kernel has a recentl= y added quickcheck library.=C2=A0 Carl Eastlund, who is the main author, is= finishing up a blog post describing it, but you can start with the documen= tation in this file:


On Sun, Sep 13, 2015 at 11:= 52 AM, Simon Cruanes <simon.cruanes.2007@m4x.org> w= rote:
There is also qt= est (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 addition= al
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=C3=B6r=C3=B6k Edwin a =C3=A9crit :
> On 09/13/2015 11:09 AM, Keiko Nakata wrote:
> > Hi,
> >
> > I am looking for (reasonably matured and hopefully easy to instal= l) 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 Sma= llCheck-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/pu= bs/smartcheck.pdf
>
> Best regards,
> --Edwin
>
> --
> Caml-list mailing list.=C2=A0 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=C2=A0 7D8D 4AC0 1D08 49A= A 62B6


--089e0118451c5e4006051fc9b400--