From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <francois.berenger@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id C74EA7F7AF
	for <caml-list@sympa.inria.fr>; Thu,  8 Oct 2015 10:10:40 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.17,654,1437429600"; 
   d="scan'208";a="181694123"
Received: from meleze.ens.fr (HELO [129.199.99.114]) ([129.199.99.114])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 08 Oct 2015 10:10:40 +0200
To: caml-list@inria.fr
References: <20151008074315.GA1466@pl-59055.rocqadm.inria.fr>
From: Francois Berenger <francois.berenger@inria.fr>
Message-ID: <56162500.7040501@inria.fr>
Date: Thu, 8 Oct 2015 10:10:40 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.3.0
MIME-Version: 1.0
In-Reply-To: <20151008074315.GA1466@pl-59055.rocqadm.inria.fr>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] OCaml projects with tests

On 10/08/2015 09:43 AM, Sébastien Hinderer wrote:
> Dear all,
>
> Recently the topic was discussed here and several testing frameworks were
> mentionned.
>
> I am wondering whether there are well established projects that actually
> use tests (unit tests and others) and that could be used as sources of
> inspiration?

In batteries there are:

https://raw.githubusercontent.com/ocaml-batteries-team/\
batteries-included/master/src/batList.mlv

Look for $T in the file for unit tests.
Or $Q for tests a la Haskell quickcheck.

> Thanks,
>
> Sébastien.
>
>

-- 
Regards,
Francois.
"When in doubt, use more types"