From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q4F28uGb014825
	for <caml-list@sympa-roc.inria.fr>; Tue, 15 May 2012 04:08:56 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiECAHe5sU/RVda2imdsb2JhbABEgx6wUwgiAQEBCgkNBxIGI4IVAQEBBBICJAgBGxwCAwwGBQsNCRYPCQMCAQIBEREBBQEcEwgBAR6HXQEDCwucRgkDjCSCc4ULChknDVeIdgEFDIsGBYJVgyYElX2BEYRkiGs9hCg
X-IronPort-AV: E=Sophos;i="4.75,590,1330902000"; 
   d="scan'208";a="143810841"
Received: from mail-ob0-f182.google.com ([209.85.214.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 May 2012 04:08:50 +0200
Received: by obcni5 with SMTP id ni5so14312667obc.27
        for <caml-list@inria.fr>; Mon, 14 May 2012 19:08:49 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:to:subject:references
         :in-reply-to:content-type:content-transfer-encoding;
        bh=HQHCjBn+wYPkpidpRriGs9iIVgpha0q5tuQkFMAyiGg=;
        b=hutS/z9MU09eW4aPqC6KuUemIDKvaBNv9o8EidTXbn0LDkjbffiRT1kpSYPlZsXsTL
         Uq5IIFIsLoCECIXI2d8wc5B7174sw/Ymb837+PSrlsgg9JpeX5CqiuKNeMBuidxPxT1H
         Yr/Fyh2GsCwTeMKlQhCA1CHlCOoC9CfrQh7MSCSShzVZVtCgIJh0eETIw+VZ7d8TR10w
         DEORNLsNg14GMskUfYaqT7nTBTDMBhBsSa/KTPaQsOqvhKv+0pOIxvW7yDG+eZKVFyQi
         A06/YMHg0/uju0pTanxWGW+8YcOHVhOtRr+hn+iUDF/WRG+Du/OJrCI9WLa6NZUjma9M
         va7g==
Received: by 10.182.207.39 with SMTP id lt7mr5616184obc.67.1337047729037;
        Mon, 14 May 2012 19:08:49 -0700 (PDT)
Received: from [192.168.1.65] (99-121-78-10.lightspeed.lnngmi.sbcglobal.net. [99.121.78.10])
        by mx.google.com with ESMTPS id s8sm17041237oec.1.2012.05.14.19.08.47
        (version=SSLv3 cipher=OTHER);
        Mon, 14 May 2012 19:08:48 -0700 (PDT)
Message-ID: <4FB1BAAC.3020804@gmail.com>
Date: Mon, 14 May 2012 22:08:44 -0400
From: Edgar Friendly <thelema314@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:12.0) Gecko/20120430 Thunderbird/12.0.1
MIME-Version: 1.0
To: caml-list@inria.fr
References: <4FB1B5F3.3080908@riken.jp>
In-Reply-To: <4FB1B5F3.3080908@riken.jp>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Any tool for unit tests as comments in OCaml source?

On 05/14/2012 09:48 PM, Francois Berenger wrote:
> Hello,
>
> What's the gold standard in OCaml to have
> unit test as comments in source code in order
> for a tool to automatically extract them
> and generate a test suite?
>
> Thanks,
> F.
>
Batteries uses a program called qtest to do this; it's within the 
batteries source tree at the moment.  There are plans to move it outside 
for other projects to use.

Docs here: http://batteries.vhugot.com/qtest/

E.