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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7447F7F7AF for ; Thu, 8 Oct 2015 17:04:42 +0200 (CEST) IronPort-PHdr: 9a23:hLzt1xW80hAjEQlIzTP2Vmm4Wo3V8LGtZVwlr6E/grcLSJyIuqrYZxCGt8tkgFKBZ4jH8fUM07OQ6PC8HzNdqsba+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8GVPFgD1GH1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHj20+2AEX24Kvh1NCgnDpFGmD9ai+hf949H80iCBIcz7S4cUWDKu4r1mUle8syoNPiUl8WzRzOxxiq5Wuh+7jx152Y/dJo+PYr42VarYeZs+RHFdFpJaXilFR4e9dJcnDuwbPO8eoZOr9HUUqh7rIQSrAuLjggVPlHLw16Ag3Kx1FQzB2g0sBfoBtX3VqJP+M6JEArP997XB0TiWN6Ae4jz68oWdN014rA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=leonidr@gmail.com; spf=Pass smtp.mailfrom=leonidr@gmail.com; spf=None smtp.helo=postmaster@mail-ob0-f174.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of leonidr@gmail.com) identity=pra; client-ip=209.85.214.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="leonidr@gmail.com"; x-sender="leonidr@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of leonidr@gmail.com designates 209.85.214.174 as permitted sender) identity=mailfrom; client-ip=209.85.214.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="leonidr@gmail.com"; x-sender="leonidr@gmail.com"; 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@mail-ob0-f174.google.com) identity=helo; client-ip=209.85.214.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="leonidr@gmail.com"; x-sender="postmaster@mail-ob0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AiAwC3hRZWnK7WVdFeg0Y1bgasFYUjjXIhgnKCCn8CgUEHOxEBAQEBAQEBARABAQEBAQYNCQkhLoIfgggBAQMBEhEdARsSDAMBCwYFBAcaHQICIgERAQUBChIGARIJCRCHdgEDCggNoQyBMT4xi0mBbIJ5iU4KGScDClaEPgEBAQEGAQEBAQEBFgEFDoZlhH6FCQuCaYFFBYV/DI9/hRiIAIIgmA4SI4EXESaCMCOBdyIzh2wBAQE X-IPAS-Result: A0AiAwC3hRZWnK7WVdFeg0Y1bgasFYUjjXIhgnKCCn8CgUEHOxEBAQEBAQEBARABAQEBAQYNCQkhLoIfgggBAQMBEhEdARsSDAMBCwYFBAcaHQICIgERAQUBChIGARIJCRCHdgEDCggNoQyBMT4xi0mBbIJ5iU4KGScDClaEPgEBAQEGAQEBAQEBFgEFDoZlhH6FCQuCaYFFBYV/DI9/hRiIAIIgmA4SI4EXESaCMCOBdyIzh2wBAQE X-IronPort-AV: E=Sophos;i="5.17,655,1437429600"; d="scan'208";a="181790226" Received: from mail-ob0-f174.google.com ([209.85.214.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Oct 2015 17:04:41 +0200 Received: by obcgx8 with SMTP id gx8so40398813obc.3; Thu, 08 Oct 2015 08:04:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=DDKtq97/WRxT6A4ZBSps4kBgkuATFX5XG7CEgESd5UA=; b=lz6BTGj2feFfviY9ND/MKB/0P+UxWLiGP1mPhNCJJHC23afabChDVzBx7jP7S3la4O GEv3rzzNwne3WS4CNodB2gvD0b8H/Xc+IsVqOReUh9/3ABEvJCw1oudfKk5Km7RZxTKD pdDgVQKvBObWLpSzYwb+STS/qM2xnMKz939caejwKukPEwUkxDbZA1P7BClYjJLM8jtP NdlwpBQ5M2hQTaPSC/oRfviED10qBUZ+kSYAFD/TtW732KTDl4CsFB/3BCfni4mXhVbR mK46XRoGMwk8PywuoHRvACrvPeS/t6DB0e3LqYW7SLvZtOKONg5rEAWFjbO9ZlkHzlwL 7O5w== MIME-Version: 1.0 X-Received: by 10.182.216.203 with SMTP id os11mr4672563obc.14.1444316680186; Thu, 08 Oct 2015 08:04:40 -0700 (PDT) Received: by 10.76.18.72 with HTTP; Thu, 8 Oct 2015 08:04:40 -0700 (PDT) In-Reply-To: <20151008074315.GA1466@pl-59055.rocqadm.inria.fr> References: <20151008074315.GA1466@pl-59055.rocqadm.inria.fr> Date: Thu, 8 Oct 2015 11:04:40 -0400 Message-ID: From: Leonid Rozenberg To: =?UTF-8?Q?S=C3=A9bastien_Hinderer?= , Caml List Content-Type: multipart/alternative; boundary=001a1134ac38aa747c0521992e27 Subject: Re: [Caml-list] OCaml projects with tests --001a1134ac38aa747c0521992e27 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I've just written about it here http://www.hammerlab.org/2015/09/30/testing-oml/ I think my review of the testing frameworks might be a bit dated, since I made the decision pre "ppx-testing" revolution ala Jane Street. But I've used Xavier Clerc's Kaputt library extensively. This is the link to the library https://github.com/hammerlab/oml Leonid On Thu, Oct 8, 2015 at 3:43 AM, S=C3=A9bastien Hinderer < Sebastien.Hinderer@inria.fr> 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? > > Thanks, > > S=C3=A9bastien. > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a1134ac38aa747c0521992e27 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I think my review of the testing f= rameworks might be a bit dated, since I made the decision
pre "ppx-= testing" revolution ala Jane Street. But I've used Xavier Clerc= 9;s Kaputt library extensively.

This is the link to the librar= y https://github.com/hammerlab= /oml

Leonid

On Thu, Oct 8, 2015 at 3:43 AM, S=C3=A9bastien Hindere= r <Sebastien.Hinderer@inria.fr> 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?

Thanks,

S=C3=A9bastien.


--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a1134ac38aa747c0521992e27--