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 7FC667F7AF for ; Thu, 8 Oct 2015 17:56:33 +0200 (CEST) IronPort-PHdr: 9a23:7u4WVRdQLCui37z+zEZh728glGMj4u6mDksu8pMizoh2WeGdxc+6Zh7h7PlgxGXEQZ/co6odzbGG7+a/BCdRvN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDuvcKOKFQVzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9Er1dhaU/nYXTkkRlxNJBUCFsEC7Dd/NtX7eu+172SXSB8rkQLY+VC6tp/NvRRjuiSsdHzE8+WDTzMd3ifQIjgimoklDw4nRaZrdG/Nsd6zbdNIASCIVQsZWUiVaKoy1fYIACeMAJ+seqJPy8Qhd5SCiDBWhUbu8ggRDgWX7iOhniuk= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=thomas.gazagnaire@gmail.com; spf=Pass smtp.mailfrom=thomas.gazagnaire@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f169.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=209.85.212.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 209.85.212.169 as permitted sender) identity=mailfrom; client-ip=209.85.212.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@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-wi0-f169.google.com) identity=helo; client-ip=209.85.212.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wi0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CwAgBskRZWlKnUVdFeg3turBuTNoJyggp/gUw8EAEBAQEBAQEBEAEBAQEHCwsJHzCCH4IHAQEBAwESER0BLQsBAwELAQUFGA0aAwICIRMBBQEKAREGEwkJEId3AwoIBQihEYExPjGLSYRliW8nAwqFGAEBCAIBGQEFDoh1gm6CUII5gnQxgRQFhX8MjEWDOoUYhgyCToFGhmOLLoV9NYEXESdlgUqBf3CHbAEBAQ X-IPAS-Result: A0CwAgBskRZWlKnUVdFeg3turBuTNoJyggp/gUw8EAEBAQEBAQEBEAEBAQEHCwsJHzCCH4IHAQEBAwESER0BLQsBAwELAQUFGA0aAwICIRMBBQEKAREGEwkJEId3AwoIBQihEYExPjGLSYRliW8nAwqFGAEBCAIBGQEFDoh1gm6CUII5gnQxgRQFhX8MjEWDOoUYhgyCToFGhmOLLoV9NYEXESdlgUqBf3CHbAEBAQ X-IronPort-AV: E=Sophos;i="5.17,655,1437429600"; d="scan'208,217";a="181802346" Received: from mail-wi0-f169.google.com ([209.85.212.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Oct 2015 17:56:32 +0200 Received: by wicge5 with SMTP id ge5so32194053wic.0; Thu, 08 Oct 2015 08:56:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:content-type:mime-version:subject:from:in-reply-to:date:cc :message-id:references:to; bh=jx8xBsotjStcK8quhkw6+p5MEKgj13OiudaCkbtv6Xw=; b=gWTBw/8wE9PqbwDUNOaVN4/eMF0VZL+SMfICQyrjYec1QLs1QO/jrNoxvIs2TkzSbh kxiRR8dSTuw11tMPAbrqFUoqz7RcB6Q7JELPhnhqhkZVP4Alcgu8Jrosj5k04Lon6sSF RBli9sYHXiu63PMfb1kygtk5anTPTHp6ATOTAAymmBf7V/olUiJxiyvm2UE6+eVrqB1w +7syp4JMF1eUyUE1WQKW36p9TqaO3bHNQf0mmg3xClKt2EcVWNkXs5ww2Ll1d246fEJ/ 9jah/RR40qY9sU0qYD0ZvvxX+jdrm3pHUZbnjGVTopyagYLYjivu/8g6wF+IC4/N2Tls JYtw== X-Received: by 10.194.202.137 with SMTP id ki9mr8480720wjc.16.1444319792737; Thu, 08 Oct 2015 08:56:32 -0700 (PDT) Received: from piana.mac.cl.cam.ac.uk (piana.mac.cl.cam.ac.uk. [128.232.56.38]) by smtp.gmail.com with ESMTPSA id gs8sm7786892wib.5.2015.10.08.08.56.31 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 08 Oct 2015 08:56:31 -0700 (PDT) Sender: Thomas Gazagnaire Content-Type: multipart/alternative; boundary="Apple-Mail=_4EB551D8-C728-4C72-92F2-3D686C029334" Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) From: Thomas Gazagnaire In-Reply-To: Date: Thu, 8 Oct 2015 16:56:29 +0100 Cc: =?utf-8?Q?S=C3=A9bastien_Hinderer?= , Caml List Message-Id: References: <20151008074315.GA1466@pl-59055.rocqadm.inria.fr> To: Leonid Rozenberg X-Mailer: Apple Mail (2.2104) Subject: Re: [Caml-list] OCaml projects with tests --Apple-Mail=_4EB551D8-C728-4C72-92F2-3D686C029334 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hi Sebastien! If you like functors, you can also check: https://github.com/mirage/irmin/blob/master/lib_test/test_store.ml Thomas > On 8 Oct 2015, at 16:04, Leonid Rozenberg wrote: >=20 > I've just written about it here http://www.hammerlab.org/2015/09/30/testi= ng-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. >=20 > This is the link to the library https://github.com/hammerlab/oml >=20 > Leonid >=20 > On Thu, Oct 8, 2015 at 3:43 AM, S=C3=A9bastien Hinderer > wrote: > Dear all, >=20 > Recently the topic was discussed here and several testing frameworks were > mentionned. >=20 > 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? >=20 > Thanks, >=20 > S=C3=A9bastien. >=20 >=20 > -- > 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 >=20 --Apple-Mail=_4EB551D8-C728-4C72-92F2-3D686C029334 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
Hi= Sebastien!

If yo= u like functors, you can also check:

https://github.com/mirage/irmin/blob/mas= ter/lib_test/test_store.ml
<= br class=3D"">
Thomas


On 8 Oct 2015, at 16:04, Leonid Rozenberg <leonidr@gmail.com> wrote:

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 Stree= t. But I've used Xavier Clerc's Kaputt library extensively.
<= br class=3D"">
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<= br class=3D""> Beginner's list: http://groups.yahoo.com/gro= up/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


= --Apple-Mail=_4EB551D8-C728-4C72-92F2-3D686C029334--