From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <keikonkt@gmail.com>
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 1DE0E7F0A3
	for <caml-list@sympa.inria.fr>; Sun, 13 Sep 2015 10:09:08 +0200 (CEST)
IronPort-PHdr: 9a23:jz7EDxYyqjmsrwOQbPAUeWn/LSx+4OfEezUN459isYplN5qZpc+9bnLW6fgltlLVR4KTs6sC0LqK9fq5EjZcut6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDuvceKKF8U33KUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtRrVdCHEiMnspzMztrxjKCwWVtVUGVWBDsRdJAA+Nyhj5V4v4+n/5u+t+3y+ZIeX5SLk1XXKp6KI9G0ygszsOKzNsqDKfscd3lq8O+B8=
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=keikonkt@gmail.com; spf=Pass smtp.mailfrom=keikonkt@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f181.google.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  keikonkt@gmail.com) identity=pra; client-ip=209.85.223.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="keikonkt@gmail.com";
  x-sender="keikonkt@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  keikonkt@gmail.com designates 209.85.223.181 as permitted
  sender) identity=mailfrom; client-ip=209.85.223.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="keikonkt@gmail.com";
  x-sender="keikonkt@gmail.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@mail-io0-f181.google.com) identity=helo;
  client-ip=209.85.223.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="keikonkt@gmail.com";
  x-sender="postmaster@mail-io0-f181.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DpAgCELvVVm7XfVdFdhGAGgySuLItphDuETgc5EwEBAQEBAQEBEAEBAQEBBgsLCSEugh2BfSIRHQEbHgMSCAECBTcCJAERAQUBV4d2AQMSpkOCBYEwPjGLRoFsgnmJKgoZJw1WhD0BBQ6RDYJSgUMFkjSDI4x+mTISI4EXIwGCCQyCLTwzin0BAQE
X-IPAS-Result: A0DpAgCELvVVm7XfVdFdhGAGgySuLItphDuETgc5EwEBAQEBAQEBEAEBAQEBBgsLCSEugh2BfSIRHQEbHgMSCAECBTcCJAERAQUBV4d2AQMSpkOCBYEwPjGLRoFsgnmJKgoZJw1WhD0BBQ6RDYJSgUMFkjSDI4x+mTISI4EXIwGCCQyCLTwzin0BAQE
X-IronPort-AV: E=Sophos;i="5.17,521,1437429600"; 
   d="scan'208";a="145596468"
Received: from mail-io0-f181.google.com ([209.85.223.181])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Sep 2015 10:09:07 +0200
Received: by ioiz6 with SMTP id z6so137191315ioi.2
        for <caml-list@inria.fr>; Sun, 13 Sep 2015 01:09:05 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=y1Hco2D35x1iHzARdPBATlE3q5pwgIkfqbBCIACCW48=;
        b=OiDU6GbgfFSdet9hfydDew+mWSE1OS8wm8TMr1c94ti5f8ZoIXUN/JcRw3tmnGQSmg
         qskWFe1IkO3ZPsXVobaLbEDDB6++rRJ376ONGTJXP9NQkOANIdoCOnehbL5tbMdVFqhb
         Jqst2OgWs2zj/c1J+N8Dcd8Nv2D98FVpzXdu4MnWUO0BQQ9Zsr36CVf1kjgitGQAEyJf
         9Er5kOVrlfXlZpK1JtRleoIIgJK+G/j3wKBZtlm9bqQDJLIPvpUyY3CTSduMewAy8UhJ
         3VuyTKFvafPfOgETJ04QHcid/uCskfIMeKrnWbLq13rPN7Y3yZhHh6cWr2tbuEgWkdkQ
         LHqQ==
MIME-Version: 1.0
X-Received: by 10.107.134.24 with SMTP id i24mr15766075iod.162.1442131745888;
 Sun, 13 Sep 2015 01:09:05 -0700 (PDT)
Received: by 10.107.11.67 with HTTP; Sun, 13 Sep 2015 01:09:05 -0700 (PDT)
Date: Sun, 13 Sep 2015 10:09:05 +0200
Message-ID: <CALVfURyQmmsocVVJVuveMaJZWpqfbNajn=O5KrjkmeGbtufggQ@mail.gmail.com>
From: Keiko Nakata <keikonkt@gmail.com>
To: caml-list@inria.fr
Content-Type: multipart/alternative; boundary=001a113ed1226edee3051f9c7665
Subject: [Caml-list] Quick Check like testing for OCaml?

--001a113ed1226edee3051f9c7665
Content-Type: text/plain; charset=UTF-8

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!


Best regards,
Keiko

--001a113ed1226edee3051f9c7665
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><div><div><div>Hi,<br><br></div>I am looking for (rea=
sonably matured and hopefully easy to install) QuickCheck-like property bas=
ed testing software for OCaml code. <br><br></div>Any information is apprec=
iated!<br><br><br></div>Best regards,<br></div>Keiko<br></div>

--001a113ed1226edee3051f9c7665--