From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id F0650BCAF for ; Sat, 11 Jun 2005 16:36:27 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5BEaRuM015772 for ; Sat, 11 Jun 2005 16:36:27 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA20441 for ; Sat, 11 Jun 2005 16:36:27 +0200 (MET DST) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.196]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5BEaQDB015763 for ; Sat, 11 Jun 2005 16:36:26 +0200 Received: by wproxy.gmail.com with SMTP id 36so928240wra for ; Sat, 11 Jun 2005 07:36:26 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:in-reply-to:references:mime-version:content-type:message-id:content-transfer-encoding:cc:from:subject:date:to:x-mailer; b=S+RyMrIkM47prk3cBq7+Qiidrrqh3PRzH4zg1WRRWri8l17A2SU+w6sb+qXIs8+gYdhn4p3/pGTSI26S0RMzVf6OBQT4pZdK5xK/LVAZv94SbLD3xMueFdSGAJ3CxvC4/a3G3teoL48idInFX2mtJ3pxDDgA5IgNW/28Y80wVx8= Received: by 10.54.42.67 with SMTP id p67mr1695930wrp; Sat, 11 Jun 2005 07:36:26 -0700 (PDT) Received: from ?10.86.60.229? ([12.2.140.141]) by mx.gmail.com with ESMTP id d61sm535053wra.2005.06.11.07.36.25; Sat, 11 Jun 2005 07:36:26 -0700 (PDT) In-Reply-To: <42A8E1E0.9070902@gmail.com> References: <42A8E1E0.9070902@gmail.com> Mime-Version: 1.0 (Apple Message framework v622) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <4041f6d0b981374da612f6c468b4e4a0@gmail.com> Content-Transfer-Encoding: 7bit Cc: caml-list@inria.fr From: Christian Lindig Subject: Re: [Caml-list] QuickCheck for OCaml? Date: Sat, 11 Jun 2005 16:36:24 +0200 To: Christopher Campbell X-Mailer: Apple Mail (2.622) X-Miltered: at nez-perce with ID 42AAF6EB.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42AAF6EA.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; lindig:01 lindig:01 caml-list:01 ocaml:01 ocaml:01 compilers:01 combinators:01 uni-sb:01 derived:04 src:95 generated:05 uses:06 christopher:07 generates:07 schrieb:08 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.2 X-Spam-Level: Am 10.06.2005 um 02:42 schrieb Christopher Campbell: > Are there any QuickCheck like tools for OCaml? There is some code derived from QuickCheck in my Quest tool which you could use as a starting point. Quest generates C code for testing C compilers and uses QuickCheck-like combinators to control the statistical distribution of the code generated. http://www.st.cs.uni-sb.de/~lindig/src/quest/index.html -- Christian