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 555FC7FE36 for ; Thu, 30 Jun 2016 14:15:29 +0200 (CEST) IronPort-PHdr: 9a23:loyxVRIZ5lMWxhPWQtmcpTZWNBhigK39O0sv0rFitYgULPvxwZ3uMQTl6Ol3ixeRBMOAuqoC0rWd7/GocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+kQsiL0I/rhqibwN76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtM0rzyMFkPI79tVcVr36N4SmQrFCRGAtM3o0/9HsrRmFTQyC6XYGenkL1xBFGQzE6lf2U8GinDH9s79G2SydO4XdV609Xzm5p/NwSRrvjmEMLSMw9mzMzJYo1P1zpU6x4RtlzNiHM8muKPNic/aFLpshTm1bU5MJWg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Neutral smtp.pra=simon.cruanes.2007@m4x.org; spf=Pass smtp.mailfrom=SRS0=9Vgl=SW=m4x.org=simon.cruanes.2007@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org 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=9Vgl=SW=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=9Vgl=SW=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=9Vgl=SW=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=9Vgl=SW=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=9Vgl=SW=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: A0DpAACmDHVXhyIeaIFahBSyZwyHTIIehzE6EgEBAQEBAQEBEQEBAQoLCQkhL4IyghsBBXkQCyElDwVJiEMFCcMWDop1ihsBBJkBCAEBhgiIL4FeARVOhAiIapAFJQaBYII7ijQBAQE X-IPAS-Result: A0DpAACmDHVXhyIeaIFahBSyZwyHTIIehzE6EgEBAQEBAQEBEQEBAQoLCQkhL4IyghsBBXkQCyElDwVJiEMFCcMWDop1ihsBBJkBCAEBhgiIL4FeARVOhAiIapAFJQaBYII7ijQBAQE X-IronPort-AV: E=Sophos;i="5.26,552,1459807200"; d="asc'?scan'208";a="224884433" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Jun 2016 14:15:09 +0200 Received: from nunchakus.loria.fr (nunchakus.loria.fr [152.81.10.98]) (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 D717D564753; Thu, 30 Jun 2016 14:15:08 +0200 (CEST) Date: Thu, 30 Jun 2016 14:15:07 +0200 From: Simon Cruanes To: Christoph =?utf-8?B?SMO2Z2Vy?= Cc: caml users Message-ID: <20160630121507.GG3637@nunchakus.loria.fr> References: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="vGRywe3qZ/UnYiWx" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23.1 (2014-03-12) X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Thu Jun 30 14:15:09 2016 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000000, queueID=0F9F2564754 X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] [qcheck] shrinking counterexamples on exception --vGRywe3qZ/UnYiWx Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hi Christoph, Please report on https://github.com/vincent-hugot/iTeML/issues ! Right now there is no shrinking on exceptions but it should be possible (and reasonable) indeed. --=20 Simon Cruanes http://weusepgp.info/ key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA 62B6 --vGRywe3qZ/UnYiWx Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJXdQ1IAAoJEErAHQhJqmK2V+gP/jz43Ch1T3O3UuXwDyEqHjhE 8Fh9Y5TQ616AsRejfzO8rdS159N7le/1p+1vOZh89nl4FHLV/XSa2lCdA5HmgJO/ xP7E6nZPsrvhIjxrpXHwTjbDOzQLpkIBG9D0GrR1n4RKdph+K3kWhKv7Tak8GNSF P+J9uKeI+bo4EgXZhhbYlZFcHvCpGECqb3WCpMQdWyS0kVXgjbp0lAn21nXM8QmN EZbHt2Cv4dP2uf2wOacXZPvfgI/hBLNYe340ofTxRERaqSKTNreF5zycPdKW/WwQ eUsHPGtwsQSeeQypGSQZscDGzpqZ1v3KjAkHFueJfimq1LUNPwv7gTbMdtvcjMnu loolizhT2RHGQ1p+LXZXnZYt7wj2ImXg1nL898Fclm+6gjxbszPkDKjki/YoCuYJ LlSwshNeO9MtiwasHNe5Kh2mUaPPnLmpDvbTwDSnNm596oymdRSByk8sED//iKW6 hpCo7HMcD/jPkCxCWJtCIM1c01KEUCt+kBBXx0MR2XIMxkQPYa4pdvwT/wWOKIG5 PIZPvCDadmIdhTLe7nBOBDabs23ngfm5COTkg9A/7aUlhKMfpwbhT/RWj207Dq3B LyX/RBG3Q0MNGfWDIoj0i3OjIT9FpVFlZKpcf//eMzUGiAXFFRkdln8bRRBEE6D4 1F0lHADlkBxRr/CkkF+9 =sEvS -----END PGP SIGNATURE----- --vGRywe3qZ/UnYiWx--