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 1B8607F0A3 for ; Sun, 13 Sep 2015 10:42:25 +0200 (CEST) IronPort-PHdr: 9a23:aG2r9hLgc0lpjnWGOtmcpTZWNBhigK39O0sv0rFitYgUL/nxwZ3uMQTl6Ol3ixeRBMOAu64C0bCd6/qocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC04LtjavqodX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD88QIrJEbFP2mN+RlFf0LRAghZms84cmusRjYUSOO4GEdWyMYiElmGQ/AuS1kRAny+gb2qet7kH2XMdL3S/MxXXGl5K5uTDfllCAdMD1/9mzL3J8jxJlHqQ6s8kQsi7XfZ5uYYacmcw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=edwin+ml-ocaml@etorok.net; spf=Pass smtp.mailfrom=edwin+ml-ocaml@etorok.net; spf=None smtp.helo=postmaster@mail.etorok.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of edwin+ml-ocaml@etorok.net) identity=pra; client-ip=62.210.252.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of edwin+ml-ocaml@etorok.net designates 62.210.252.135 as permitted sender) identity=mailfrom; client-ip=62.210.252.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; 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.etorok.net) identity=helo; client-ip=62.210.252.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="postmaster@mail.etorok.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BCBQCsNfVV/4f80j5dFoMNVGmDKrwNgkODNgKBHTsRAQEBAQEBAQGBCYIdggcBAQICIx04AgEOCxgCAgUTAwsCAgkDAgECAUUTCAKILgm1MnGEa48OAQIEgSKKToUUF4JSgUONbodujH6afjcshAQ7MwEBinsBAQE X-IPAS-Result: A0BCBQCsNfVV/4f80j5dFoMNVGmDKrwNgkODNgKBHTsRAQEBAQEBAQGBCYIdggcBAQICIx04AgEOCxgCAgUTAwsCAgkDAgECAUUTCAKILgm1MnGEa48OAQIEgSKKToUUF4JSgUONbodujH6afjcshAQ7MwEBinsBAQE X-IronPort-AV: E=Sophos;i="5.17,521,1437429600"; d="scan'208";a="145597922" Received: from mail.etorok.net ([62.210.252.135]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Sep 2015 10:42:24 +0200 Received: by mail.etorok.net (OpenSMTPD) with ESMTP id aff8aef7 for ; Sun, 13 Sep 2015 08:42:23 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=simple; d=etorok.net; h=message-id :date:from:mime-version:to:subject:references:in-reply-to :content-type:content-transfer-encoding; s=ml; bh=pHjluHYNwONKL2 PAPq+KXT2BMiQ=; b=jgJ0HARTU8Et1BAAHqPiyooVlSKwmx1qN6vxkJtyhNBaKl To3AIeL04CFmJ7l0vXdSJ1+R9U6OvdkxvDuVbhU8TcDwB/w+7jdNkpIXb8g9Ou9z XAQ/JeKXh/yak1St0p/xQvwwfzvqXFlLKPAQCIgW/pHgJyBd+SAV+0jGIKvK4= DomainKey-Signature: a=rsa-sha1; c=simple; d=etorok.net; h=message-id :date:from:mime-version:to:subject:references:in-reply-to :content-type:content-transfer-encoding; q=dns; s=ml; b=lYKjgrJG 0Y115wy7gZ2uP9l5b7DFJyRgqtG75OYka4yx8QqFWAMB1cf6331hn63rJ6DGUCmA M0Bw1o89US7XWvo4HB3dBGUulqN0kqduHqkQH5LhrBwmHfBVdHhXzxOs1N362HT1 DbKdzBXHNaogJhZuVl8I5SQclXC1U93C4io= Received: by mail.etorok.net (OpenSMTPD) with ESMTPSA id b4307130 TLS version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NO for ; Sun, 13 Sep 2015 08:42:23 +0000 (UTC) Message-ID: <55F536EE.5010901@etorok.net> Date: Sun, 13 Sep 2015 11:42:22 +0300 From: =?UTF-8?B?VMO2csO2ayBFZHdpbg==?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.8.0 MIME-Version: 1.0 To: caml-list@inria.fr References: (sfid-20150913_110916_322446_906EA80B) In-Reply-To: (sfid-20150913_110916_322446_906EA80B) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Quick Check like testing for OCaml? 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