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 BF4DD7F7AF for ; Thu, 8 Oct 2015 10:26:11 +0200 (CEST) IronPort-PHdr: 9a23:0KcKOx9VkAAJnf9uRHKM819IXTAuvvDOBiVQ1KB91ukcTK2v8tzYMVDF4r011RmSDdmdtK8MotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EleqKqR8b7tIee6aObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrvGL4YV7/i9Ml/Uk/s9GGeWmLuVrBYBfWT8vNmRw4MzwqTHCSxGO7z0SSDY4iB1NVijI6h3gX5S5mCz9s6Ip2CScMdf3TpgoXiyl7uFzTxjxziwAMmhqoynslsVsgfcD81qarBtlztuIMYw= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BUBwC3JxZW/4aDpUVdg3tJASWsGJMTIYJyggp/AoF9EQEBAQEBAQEBgQmCH4IHAQEBAwEyATsbCxgJBBARDwUYGT2IBwMKCA29GAOFLwEBAQcBAQEBHotxhRQXgwOBFAWFfwyPfYUYh3cIWYFGmVk3LIQeIogfAQEB X-IPAS-Result: A0BUBwC3JxZW/4aDpUVdg3tJASWsGJMTIYJyggp/AoF9EQEBAQEBAQEBgQmCH4IHAQEBAwEyATsbCxgJBBARDwUYGT2IBwMKCA29GAOFLwEBAQcBAQEBHotxhRQXgwOBFAWFfwyPfYUYh3cIWYFGmVk3LIQeIogfAQEB X-IronPort-AV: E=Sophos;i="5.17,654,1437429600"; d="scan'208";a="149956140" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Oct 2015 10:26:09 +0200 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 2B2F01A0452; Thu, 8 Oct 2015 04:26:07 -0400 (EDT) Date: Thu, 8 Oct 2015 04:26:07 -0400 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20151008082606.GC13710@topoi.pooq.com> References: <20151008074315.GA1466@pl-59055.rocqadm.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20151008074315.GA1466@pl-59055.rocqadm.inria.fr> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] OCaml projects with tests On Thu, Oct 08, 2015 at 09:43:15AM +0200, 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? There's the "awe" compiler for Algol W. It's written in OCaml, and is available as a Debian package, so it should be possible to get the source package. I don't know where the upstrream source is right now, as I haven't been able to reach the author in years. -- hendrik > > Thanks, > > Sébastien. > > > -- > 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