From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jmcalpin@nmt.edu>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.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 C47527F1AA
	for <caml-list@sympa.inria.fr>; Thu, 10 Sep 2015 00:29:30 +0200 (CEST)
IronPort-PHdr: 9a23:IigODhPF6AxoI8c1h8wl6mtUPXoX/o7sNwtQ0KIMzox0KPj9rarrMEGX3/hxlliBBdydsKIYzbOL+Pm4EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35jxjr35osWbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEBwnNXo07Yvlr0rtVwyKs1kbUmNeuRpSAhPZ6wn6U425lyDTsvJ83iTSac/zRrkwQTWkx6FuVFnlhDpRZG1xy33elsEl1PETmxmmvREqm4M=
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jmcalpin@nmt.edu; spf=Pass smtp.mailfrom=jmcalpin@nmt.edu; spf=None smtp.helo=postmaster@mailhost.nmt.edu
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  jmcalpin@nmt.edu) identity=pra; client-ip=129.138.4.52;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jmcalpin@nmt.edu";
  x-sender="jmcalpin@nmt.edu"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  jmcalpin@nmt.edu designates 129.138.4.52 as permitted sender)
  identity=mailfrom; client-ip=129.138.4.52;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jmcalpin@nmt.edu";
  x-sender="jmcalpin@nmt.edu"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mailhost.nmt.edu) identity=helo;
  client-ip=129.138.4.52;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jmcalpin@nmt.edu";
  x-sender="postmaster@mailhost.nmt.edu";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0D3AgDYsfBVhzQEioFdg3eEDboVgXOFfQKBRToSAQEBAQEBAQEQAQEBCgsJByMugh2CBwEBBCMPAQVRCxgCAgUhAgIPAkYTCAEBiCoNtn+PXAGEJQEBCAEBAQEaBIEihVGEe4UTF4JSgUMFjWyHaoUKiTyEM4J8kX2ERYkbAQEB
X-IPAS-Result: A0D3AgDYsfBVhzQEioFdg3eEDboVgXOFfQKBRToSAQEBAQEBAQEQAQEBCgsJByMugh2CBwEBBCMPAQVRCxgCAgUhAgIPAkYTCAEBiCoNtn+PXAGEJQEBCAEBAQEaBIEihVGEe4UTF4JSgUMFjWyHaoUKiTyEM4J8kX2ERYkbAQEB
X-IronPort-AV: E=Sophos;i="5.17,499,1437429600"; 
   d="scan'208";a="176755134"
Received: from mailhost.nmt.edu ([129.138.4.52])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Sep 2015 00:29:29 +0200
Received: from [129.138.36.41] (dhcp-altamirano-41.resnet.nmt.edu [129.138.36.41])
	by mailhost.nmt.edu (Postfix) with ESMTPSA id 25AA22F3453
	for <caml-list@inria.fr>; Wed,  9 Sep 2015 16:29:27 -0600 (MDT)
To: caml-list@inria.fr
References: <55F09806.1030507@nmt.edu> <20150909205548.GA12106@pema>
From: John Christopher McAlpine <jmcalpin@nmt.edu>
Message-ID: <55F0B2CA.40707@nmt.edu>
Date: Wed, 9 Sep 2015 16:29:30 -0600
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.2.0
MIME-Version: 1.0
In-Reply-To: <20150909205548.GA12106@pema>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] Use of unit testing frameworks in OCaml

Here you go: https://github.com/michipili/broken

On 09/09/2015 02:55 PM, Sébastien Hinderer wrote:
> Hi,
>
> John Christopher McAlpine (2015/09/09 14:35 -0600):
>>  From what I can tell, the tests for the OCaml compiler and standard
>> libraries are all done with a fairly small framework designed specifically
>> for testing the compiler and standard libraries. Is there any particular
>> reason not to use a tool such as OUnit or Broken for these tests?
> Could you please provide an URL for Broken?
> I couldn't find one...
>
> I'm also wondering whether test frameworks exist for other kinds of
> tests?
>
> Thanks,
>
> Sébastien.
>