From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E22E27F0A3 for ; Sun, 13 Sep 2015 17:52:43 +0200 (CEST) IronPort-PHdr: 9a23:APc4VBDYqmsHOZzpQDtBUyQJP3N1i/DPJgcQr6AfoPdwSP/7ocbcNUDSrc9gkEXOFd2CrakU16yM6euxACQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTrkbrosMyKKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ7djgTYVQaE+lcbV2wXlFIIX1mEv1nGWcLNLDFktaJQ1DabO4WiQLwrWDLh6qMuTxThjSMvOiI+6mbUzMp9kPQIjgimoklEwovTZsm+Lud3eK7GNYcBRG9GWIBaTTFIBI6nKdFXV7UpOLpI6Y7nqA1d/lOFGQCwCba3mXdzjXjs0Ph/jr0s Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Neutral smtp.pra=simon.cruanes.2007@m4x.org; spf=Pass smtp.mailfrom=SRS0=mLoi=JT=m4x.org=simon.cruanes.2007@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of simon.cruanes.2007@m4x.org does not assert whether or not 129.104.30.34 is permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=mLoi=JT=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of SRS0=mLoi=JT=m4x.org=simon.cruanes.2007@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=mLoi=JT=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=mLoi=JT=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=mLoi=JT=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CQAADFmvVVnCIeaIFdFoNhaYJkqWuQYgENgXiCQ4RVOBQBAQEBAQEBARABAQEBAQgUCU+CHYIHAQMCDBdLCxAJAhgJBB0CAg8FKAkYJYgHAxIECZg4nSuOVQOFIxmLV4Qkg1kvgRQFhXsMj0kHhQ2HboIVmGwfAQGERW8BAYp7AQEB X-IPAS-Result: A0CQAADFmvVVnCIeaIFdFoNhaYJkqWuQYgENgXiCQ4RVOBQBAQEBAQEBARABAQEBAQgUCU+CHYIHAQMCDBdLCxAJAhgJBB0CAg8FKAkYJYgHAxIECZg4nSuOVQOFIxmLV4Qkg1kvgRQFhXsMj0kHhQ2HboIVmGwfAQGERW8BAYp7AQEB X-IronPort-AV: E=Sophos;i="5.17,523,1437429600"; d="asc'?scan'208";a="145618844" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 13 Sep 2015 17:52:43 +0200 Received: from carty (mna75-4-82-225-76-110.fbx.proxad.net [82.225.76.110]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id EB1471408EF04; Sun, 13 Sep 2015 17:52:40 +0200 (CEST) Date: Sun, 13 Sep 2015 17:52:24 +0200 From: Simon Cruanes To: =?utf-8?B?VMO2csO2aw==?= Edwin Cc: caml-list@inria.fr Message-ID: <20150913155224.GE16946@carty> References: <55F536EE.5010901@etorok.net> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="fwqqG+mf3f7vyBCB" Content-Disposition: inline In-Reply-To: <55F536EE.5010901@etorok.net> User-Agent: Mutt/1.5.23.1 (2014-03-12) X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Sun Sep 13 17:52:41 2015 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.004675, queueID=50F181408EF08 X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] Quick Check like testing for OCaml? --fwqqG+mf3f7vyBCB Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable 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 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, > >=20 > > I am looking for (reasonably matured and hopefully easy to install) Qui= ckCheck-like property based testing software for OCaml code. > >=20 > > Any information is appreciated! >=20 > There is qcheck.0.4, quickcheck.1.0.2 and kaputt.1.2 on opam.=20 > qcheck has documentation in the mli, integration with OUnit and quite eas= y to get started with. > Kaputt also has reducers (to produce smaller counterexamples), and SmallC= heck-like enumeration tests. >=20 > I haven't tried quickcheck, and haven't found an equivalent to SmartCheck= 's counterexample generalization [1] >=20 > [1] https://www.cs.indiana.edu/~lepike/pubs/smartcheck.pdf >=20 > Best regards, > --Edwin >=20 > --=20 > 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 --=20 Simon Cruanes http://weusepgp.info/ key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA 62B6 --fwqqG+mf3f7vyBCB Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJV9Zu1AAoJEErAHQhJqmK24RgQAJ0DpBOQ2DnWvtjI3xa+Wqsl JLFW5Mn5axgz8pDxrtMtubVNh8V7MJF4w/UPUzea5FDk3yGJeSDvaM9vrbLf7oCS jENGw5Kd7bTHIPAeltsfmdPsHGAvaHal19GukGXPbnYiw4s73c2Id1i9dKZWJR4k mRvIgu8+EvS5G7VkBbS80fL6iPV35ChNZonY49tdHcYZGGkyxaq8QZPjZTiRTNxp qkjF+eloCYR7DXDTB+DJGGbylKUyBw5Vm4zA+T0PyUnYAQMqFv8WrU1oBapbXDYi ZdrwZDSRnhDzz6lnVzTbmCTrWTdk+jZ4pTRk7nQnYPG1KtpcM2kQ5dDee4QZIEmZ V7+UNi7iiPq+Bc0vTIq0M3E8+zEpn7VtHv9q37IIryBSzz81gTK11WLSf70zQRVU Suj5k6hLPUlrUPiOgNjcNZ7eUdKOZBaErwF+1KRBNvVitR7MWYVHf+LXXkrcsVZp Yk40AID27XaahWc54663hGkvSf/gyfOJccyY1siiJQI/nQcRyCsMXG5RgpKNVn46 YC+JhcEH57mh3FT4XzBZvznsrHG5945xsYinYs9hAqh2uWSY0wei7zm0npjpQFCF IGeQkGgv4UuBjBEsunwwzfre53Zja0xOkA3Wv/wI1FPixdoTAE1RJ2ke8dLtxuTZ HoxeOkj3SPBGQTVq1NW6 =9CMP -----END PGP SIGNATURE----- --fwqqG+mf3f7vyBCB--