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 E99477F1AA for ; Thu, 10 Sep 2015 11:23:02 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.17,503,1437429600"; d="asc'?scan'208";a="176815129" Received: from charm-ecran.irisa.fr ([131.254.101.83]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Sep 2015 11:23:02 +0200 From: Alan Schmitt To: Gabriel Scherer Cc: John Christopher McAlpine , caml users References: <55F09806.1030507@nmt.edu> Date: Thu, 10 Sep 2015 11:22:59 +0200 In-Reply-To: (Gabriel Scherer's message of "Wed, 9 Sep 2015 23:29:27 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Subject: Re: [Caml-list] Use of unit testing frameworks in OCaml --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Gabriel, On 2015-09-09 23:29, Gabriel Scherer writes: > - A way to collect coverage checking information (which parts of the > compiler codebase are exercized by the tests?). I started working on > it once by just adding Bisect somewhere in the compiler build system, > but lost motivation before getting into a a work-out-of-the-box state > (it generated many independent coverage files, one for each test, that > would have to be aggregated). I think that should not be too hard. We use bisect to test coverage of the JavaScript test suite on our interpreter, and aggregating the results is simply a matter of doing bisect-report -html report bisect*.out (assuming you want to put the generated report in the report directory). Best, Alan --=20 OpenPGP Key ID : 040D0A3B4ED2E5C7 Last week athmospheric CO=E2=82=82 average (Updated September 6, 2015, Maun= a Loa Obs.): 377.86 ppm --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBCgAGBQJV8UvzAAoJEAQNCjtO0uXH0noH/jhBNsi+EEw8ebobEPd1tLIX SDnfN2VEtjz/djiGI/ZyZMhgnYPalReyvPy4UR0R6TTE/Qdp6BQVM152AJrbqHbu jbHOMoz+2CUj6YRaR5cnRPqpd3NiQVVRd1WNyq0fCCu+30ezzIAFTb5eUscWT8VP ezAptQ+itJQviH1cGaLawvb+oz8J2dDlV8EfoPdnqtdsn9n3R05nIpzxGN6DIRco fJnigwdS28f8nl8Bn/n4btT89OMZ1NR1ZczySg2qSrN/rlWnbPYwaEv3Kry3LTyN iyg0AwsQq75UDbx8KpMsyb3wVOO1wTo7pjdhy73VLEESwpucLfBOHA2k+KFGbpY= =CgTl -----END PGP SIGNATURE----- --=-=-=--