From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 9BE357EE4C for ; Mon, 7 Oct 2013 10:50:10 +0200 (CEST) Received-SPF: Neutral (mail2-smtp-roc.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=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=VYG6=TR=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 (mail2-smtp-roc.national.inria.fr: domain of SRS0=VYG6=TR=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=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=VYG6=TR=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=VYG6=TR=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=VYG6=TR=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: AjYBAB11UlKBaB4inGdsb2JhbABZhzm6eYQSFg4BAQEBAQYWCTyCJQEBBAEjBFIFCwsYCSECAg8FSYgTBqhKkgWSQjWBBAOYAJUn X-IPAS-Result: AjYBAB11UlKBaB4inGdsb2JhbABZhzm6eYQSFg4BAQEBAQYWCTyCJQEBBAEjBFIFCwsYCSECAg8FSYgTBqhKkgWSQjWBBAOYAJUn X-IronPort-AV: E=Sophos;i="4.90,1048,1371074400"; d="scan'208";a="35848742" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 07 Oct 2013 10:50:09 +0200 Received: from emmental.inria.fr (emmental.inria.fr [128.93.0.14]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id 06733140C5748; Mon, 7 Oct 2013 10:50:09 +0200 (CEST) Date: Mon, 7 Oct 2013 10:50:07 +0200 From: Simon Cruanes To: Francois Berenger Cc: caml-list@inria.fr Message-ID: <20131007085007.GC22920@emmental.inria.fr> References: <20131007083549.GA22920@emmental.inria.fr> <52527452.8010202@riken.jp> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="mJm6k4Vb/yFcL9ZU" Content-Disposition: inline In-Reply-To: <52527452.8010202@riken.jp> User-Agent: Mutt/1.5.21 (2010-09-15) X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Mon Oct 7 10:50:09 2013 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000000, queueID=36CC9140C574C X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] [ANN] QCheck 0.1 --mJm6k4Vb/yFcL9ZU Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Le Mon, 07 Oct 2013, Francois Berenger a =C3=A9crit : > On 10/07/2013 05:35 PM, Simon Cruanes wrote: > >Hello, > > > >I'm happy to announce the first release of a small QuickCheck > >implementation for OCaml, named `QCheck`. It consists in writing > >invariants as function t -> bool for some type t, and then checking that > >the invariant holds on randomly generated instances of t. > > > >QCheck is designed so that writing tests is as easy as possible[1], > >especially for Arbitrary instances (the part where you generate random > >values of a type) where it provides many combinators. >=20 > Is it supported by qtest? I don't think so, but it would be great for people who like to write tests near the code. I'm not familiar with qtest, so I'm not going to implement it now (patchs welcome ^^), but it would definitely be interesting to have the invariants close to the algorithms! >=20 > I.e. can some qtest tests in comments use this QCheck library? >=20 > Best regards, > Francois Berenger. --=20 Simon --mJm6k4Vb/yFcL9ZU Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.13 (GNU/Linux) iQIcBAEBAgAGBQJSUnW/AAoJEErAHQhJqmK2vyYP/j2N1H4n5icKgYFdRlxQhJ4A mk95BaX3QC9gw2Ipcayvfmgu097b3vyLRYtT37BDdu7zzZushakOcUam4QwUF1aX /I76+djoOkDHt9oGf7Fr62uef00S9NT9KriBhQLaNIctLTQPoemT+fM3NS5sYgCj Ufva13/kJZAGgRl6cbsRPhNfP6FFz3IvXYZsvHX9bCA4na+KQMNok/GRQprO1ANm 7JdlmSL03cTJdlouKHxmaj4o/nvyF9gXAc3BtSMbW8K211vNsIAcLFgUQBlYUp17 mhnCePvTlJp3JAuC7UFgAznZlnqFCCdTag8uHa5VnTq5J7CTp/Ll2CVZaftw16pf 3YCI+pK46Kw12rSsXWsMsr9e74LfiTrFOmDocwl3KRPhRGJ54J/g/mhm9RmKnW9T 8dTM3Y20doA6pvLXeYoXSEfOWfBoReb/9jHy6kMS4QtpBCDi4F5xO8FKC6ofn1d5 cokRq3vGNlZgz2V29okcNu26RPqPQOa/N2VMCuFcZjFCIHEZ/SaiO9xZordzcex7 OwhxfUl5TRkDAzn8IullRLkU+VdjrFs0VxSK6MTqQP/nUzovLSGhbW8xY/YcP0S/ x6+2GgdCeYVKC446uEDW/Andxw6dZ0ciuctRhH174AMcw4bgzmsatjiktN7Brsv4 /JUt7LKa4mqopU5pQBZ/ =80Ph -----END PGP SIGNATURE----- --mJm6k4Vb/yFcL9ZU--