From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0343F7F1AA for ; Wed, 9 Sep 2015 22:55:49 +0200 (CEST) IronPort-PHdr: 9a23:kMv+uRMZlb4T3zf94mUl6mtUPXoX/o7sNwtQ0KIMzox0KPn5rarrMEGX3/hxlliBBdydsKIYzbOK+Pm9BSQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTrkbnusMSOP01hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvdK09SflcDS86G2Ez/szi8xfZHiWV4X5JaeQcmwFUAgXDpDH7WJv8qCbg/r5G1SOTJtH3QLZyeTWk46pxRQXAiSEdNjd//nuB2Z84t75SvB/0/083+IXTeozAbPc= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Sebastien.Hinderer@inria.fr; spf=None smtp.mailfrom=SRS0=kTrV=JP=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org; spf=Pass smtp.helo=postmaster@sonata.ens-lyon.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Sebastien.Hinderer@inria.fr) identity=pra; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=kTrV=JP=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="Sebastien.Hinderer@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of SRS0=kTrV=JP=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org) identity=mailfrom; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=kTrV=JP=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="SRS0=kTrV=JP=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@sonata.ens-lyon.org designates 140.77.166.138 as permitted sender) identity=helo; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=kTrV=JP=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="postmaster@sonata.ens-lyon.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DeAADJm/BVl4qmTYxdhFGDM7oShRqEHDoSAQEBAQEBAQEQAQEBAQEIFgdPgh2CBwEFIw8BVgsaAgUTDgICDy0biEcEAbZ5lD2BIopMhSqCUi+BFAEElVaMd4FPhDOUdwKBcAyCLIk4AQEB X-IPAS-Result: A0DeAADJm/BVl4qmTYxdhFGDM7oShRqEHDoSAQEBAQEBAQEQAQEBAQEIFgdPgh2CBwEFIw8BVgsaAgUTDgICDy0biEcEAbZ5lD2BIopMhSqCUi+BFAEElVaMd4FPhDOUdwKBcAyCLIk4AQEB X-IronPort-AV: E=Sophos;i="5.17,498,1437429600"; d="scan'208";a="145280955" Received: from sonata.ens-lyon.org ([140.77.166.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 09 Sep 2015 22:55:49 +0200 Received: from localhost (localhost [127.0.0.1]) by sonata.ens-lyon.org (Postfix) with ESMTP id 656EB2009E; Wed, 9 Sep 2015 22:55:49 +0200 (CEST) Received: from sonata.ens-lyon.org ([127.0.0.1]) by localhost (sonata.ens-lyon.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id rYADKlWzv96E; Wed, 9 Sep 2015 22:55:49 +0200 (CEST) Received: from pema.homeunix.org (AMontsouris-551-1-53-239.w90-24.abo.wanadoo.fr [90.24.172.239]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by sonata.ens-lyon.org (Postfix) with ESMTPSA id 425022009C; Wed, 9 Sep 2015 22:55:49 +0200 (CEST) Received: from seb by pema.homeunix.org with local (Exim 4.85) (envelope-from ) id 1ZZmPE-0003BS-Sr; Wed, 09 Sep 2015 22:55:49 +0200 Date: Wed, 9 Sep 2015 22:55:48 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20150909205548.GA12106@pema> Mail-Followup-To: caml-list@inria.fr References: <55F09806.1030507@nmt.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <55F09806.1030507@nmt.edu> Subject: Re: [Caml-list] Use of unit testing frameworks in OCaml 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.