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 60354BCB0 for ; Fri, 10 Jun 2005 02:42:10 +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 j5A0gA34016749 for ; Fri, 10 Jun 2005 02:42:10 +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 CAA27367 for ; Fri, 10 Jun 2005 02:42:09 +0200 (MET DST) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.192]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5A0g862016743 for ; Fri, 10 Jun 2005 02:42:09 +0200 Received: by wproxy.gmail.com with SMTP id 69so301039wri for ; Thu, 09 Jun 2005 17:42:08 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:user-agent:x-accept-language:mime-version:to:subject:content-type:content-transfer-encoding; b=V2++E6uDLTLvIz46QLocXTbgpkq5/ojcoWWjFvRbzNSamDchLbvg+w3Je2f1RqEP+YPZoanpdI8CNDrkB4aPuS/Wuh56PEAJ1A/JWFIYDz3kqS5tThPKcxgS9t05zi0S8/mEJGsOUWlv97bNars+DLnfmxkdUGzbP97Sajzxe6c= Received: by 10.54.57.2 with SMTP id f2mr181688wra; Thu, 09 Jun 2005 17:42:08 -0700 (PDT) Received: from ?80.4.70.80? ([80.4.70.80]) by mx.gmail.com with ESMTP id 12sm22983wrl.2005.06.09.17.42.08; Thu, 09 Jun 2005 17:42:08 -0700 (PDT) Message-ID: <42A8E1E0.9070902@gmail.com> Date: Fri, 10 Jun 2005 01:42:08 +0100 From: Christopher Campbell User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050404) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: QuickCheck for OCaml? Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 42A8E1E2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42A8E1E0.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 unit:03 chris:05 christopher:07 haven't:08 yet:10 libraries:11 but:12 but:12 tools:14 there:17 there:17 regards:20 searched:20 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: Hi, Are there any QuickCheck like tools for OCaml? Searched on google, but nothing came up. There are unit testing libraries like OUnit, but I haven't came across anything like QuickCheck yet. Regards, Chris Campbell