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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id AD9527F738 for ; Tue, 15 Sep 2015 15:09:36 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yminsky@janestreet.com; spf=Pass smtp.mailfrom=yminsky@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B4AQCEF/hVnHDIaSZeFoNhaQaCXqoDkHOBe4JBgzYCgTsHORMBAQEBAQEBEQEBAQEBBhYJT4QjAQEBAgEBDAYRHQEBLAsBBAsJAgsNDR0CAiISAQUBChIGEwgKEId3AwoIAwqYB49GgTA+MYpVcYRlAQWKUAOEcwEBAQEBBQEBAQEBAQEVBgqGaYR9gm6BNmUEB4JpgUOGAAyPVYUQh3OCEpclEiOBFxESAYJDghlVAQGKKAEBAQ X-IPAS-Result: A0B4AQCEF/hVnHDIaSZeFoNhaQaCXqoDkHOBe4JBgzYCgTsHORMBAQEBAQEBEQEBAQEBBhYJT4QjAQEBAgEBDAYRHQEBLAsBBAsJAgsNDR0CAiISAQUBChIGEwgKEId3AwoIAwqYB49GgTA+MYpVcYRlAQWKUAOEcwEBAQEBBQEBAQEBAQEVBgqGaYR9gm6BNmUEB4JpgUOGAAyPVYUQh3OCEpclEiOBFxESAYJDghlVAQGKKAEBAQ X-IronPort-AV: E=Sophos;i="5.17,536,1437429600"; d="scan'208";a="147374332" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Sep 2015 15:09:35 +0200 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout1.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1ZbpzJ-0006La-BU for caml-list@inria.fr; Tue, 15 Sep 2015 09:09:33 -0400 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BV-BiB-AAAAzH-LA; 2015-09-15 09:09:21.353022-04:00 Received: from mail-wi0-f171.google.com ([209.85.212.171]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1Zbpz7-0002o0-6M for caml-list@inria.fr; Tue, 15 Sep 2015 09:09:21 -0400 Received: by wiclk2 with SMTP id lk2so28013018wic.0 for ; Tue, 15 Sep 2015 06:09:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=Rxk0wrNiQM9mswSyb3b4DEq8SsHHWohnyoHJxj0LWw8=; b=D1zpicpI4hT/8qu0UQv8NddkSD5QCzj26DCq4zjJxuulMi9UxILf/GqRx7kMl74Jmy HRsu2hkMjb5DfURhMIdDJz3fbTBtrUDClLmD4aYlRvwflLu9wvi1kBQszjlmwFF8OxZ7 z7paJ6YRkFZ5H7V+qsZAYiFeYDxBG+wI3zvQ8= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-type; bh=Rxk0wrNiQM9mswSyb3b4DEq8SsHHWohnyoHJxj0LWw8=; b=SsVMurtBHSqo0DZlHerQAcr/SCfIC3zSrCK60+Iy81PkxxiCnYWc6aH7lqrTB07WEh ufsx5PxcRw7I7Hhan8nNCpHAkdzGh16TTgMXI5Vae8UVHz4sdv7d3rFkwwLQJu1q5AXW VTIDDyFVIr/51A3+L1Y4xzbSYcB48tDZ3UIm/YqcOME8jesu0WMYG6101ErJejXAQKOZ 8W7+q9zwttCOFMF5BvoHZsJjlWnCfgbH/Z0waM4mcrRfXvigDUMXCUiLAL0u57LAbHHw FMZPCLXWAeqQBAn4pYGVMOLKfufQtupIoYMzHHeZs1Ym6sKs6Q+iShjge8ML/y/6bqCd ALKA== X-Gm-Message-State: ALoCoQkfKo5+/XdqHgAzBnOeSFk9i2qNq3a/mEQzb86u8270PVqLyepoQ5tztG9ueq96cfgaExOB6vsKjM72HCnLySR7aGdJyHPNd8CSwBoItuwF3MLfaRXu4p67qGSJDRaKii8i4coD X-Received: by 10.194.190.46 with SMTP id gn14mr9285005wjc.140.1442322560158; Tue, 15 Sep 2015 06:09:20 -0700 (PDT) X-Received: by 10.194.190.46 with SMTP id gn14mr9284982wjc.140.1442322559998; Tue, 15 Sep 2015 06:09:19 -0700 (PDT) MIME-Version: 1.0 Received: by 10.28.98.214 with HTTP; Tue, 15 Sep 2015 06:09:00 -0700 (PDT) In-Reply-To: <20150913155224.GE16946@carty> References: <55F536EE.5010901@etorok.net> <20150913155224.GE16946@carty> From:Yaron Minsky Date: Tue, 15 Sep 2015 09:09:00 -0400 Message-ID: To:Simon Cruanes Cc:=?UTF-8?B?VMO2csO2ayBFZHdpbg==?= , "caml-list@inria.fr" , Carl Eastlund Content-Type: multipart/alternative; boundary=047d7bb04fcad73fd0051fc8e3a4 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Quick Check like testing for OCaml? --047d7bb04fcad73fd0051fc8e3a4 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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_genera= tor.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=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 > --047d7bb04fcad73fd0051fc8e3a4 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Core_kernel has a recently added quickcheck library.=C2=A0= Carl Eastlund, who is the main author, is finishing up a blog post describ= ing it, but you can start with the documentation in this file:

On Sun, Sep 13, 2015 at 11:52 AM, Simo= n Cruanes <simon.cruanes.2007@m4x.org> wrote:
There is also qtest (also called iTeML on gith= ub) 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

--047d7bb04fcad73fd0051fc8e3a4--