🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fa.caml
Article #63

Re: [Caml-list] Any tool for unit tests as comments in OCaml source?

#63
From: Edgar Friendly
Date: Tue, 15 May 2012 02:09
24 lines
3683 bytes
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.

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Technical Details
Message-ID: <fa.ua6xmZH0If/CwUUCXOSxE5aClS4@ifi.uio.no>
Path: arc1-ca.pugleaf.net!pr3ni27030pbb.0!nntp.google.com!news1.google.com!goblin3!goblin1!goblin.stu.neva.ru!uio.no!nntp.uio.no!.POSTED!not-for-mail
References: <fa.oKOqvqrIztdkbOwZLgzRTTVxV/Y@ifi.uio.no>

Show Full Headers
Complete Article Headers
X-Google-Thread: ff861,18123865085cbda
X-Google-NewGroupId: yes
X-Google-Attributes: gidc0fe4b917e,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.241.98 with SMTP id wh2mr188795pbc.7.1337047751838;
        Mon, 14 May 2012 19:09:11 -0700 (PDT)
Path: arc1-ca.pugleaf.net!pr3ni27030pbb.0!nntp.google.com!news1.google.com!goblin3!goblin1!goblin.stu.neva.ru!uio.no!nntp.uio.no!.POSTED!not-for-mail
From: Edgar Friendly <thelema314@gmail.com>
Newsgroups: fa.caml
Subject: Re: [Caml-list] Any tool for unit tests as comments in OCaml source?
Date: Tue, 15 May 2012 02:09:11 UTC
Organization: Internet mailing list
Lines: 25
Message-ID: <fa.ua6xmZH0If/CwUUCXOSxE5aClS4@ifi.uio.no>
References: <fa.oKOqvqrIztdkbOwZLgzRTTVxV/Y@ifi.uio.no>
NNTP-Posting-Host: mail-jess.uio.no
Mime-Version: 1.0
X-Trace: readme.uio.no 1337047751 17324 129.240.7.9 (15 May 2012 02:09:11 GMT)
X-Complaints-To: abuse@uio.no
NNTP-Posting-Date: Tue, 15 May 2012 02:09:11 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:12.0) Gecko/20120430 Thunderbird/12.0.1
To: caml-list@inria.fr
X-IronPort-AV: E=Sophos;i="4.75,590,1330902000"; 
   d="scan'208";a="158380905"
X-Authentication-Warning: walapai.inria.fr: sympa set sender to caml-list-owner@inria.fr using -f
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"
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==
In-Reply-To: <4FB1B5F3.3080908@riken.jp>
X-Sequence: 4102
List-Id: <caml-list.inria.fr>
List-Archive: <https://sympa-roc.inria.fr/wws/arc/caml-list>
List-Help: <mailto:sympa@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa@inria.fr?subject=unsubscribe%20caml-list>
Original-Date: Mon, 14 May 2012 22:08:44 -0400
Original-Message-Id: <4FB1BAAC.3020804@gmail.com>
Original-References: <4FB1B5F3.3080908@riken.jp>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit