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 2375E7EF0D for ; Wed, 10 Feb 2016 20:01:00 +0100 (CET) IronPort-PHdr: 9a23:uo9xyRPV9S5E2pns29wl6mtUPXoX/o7sNwtQ0KIMzox0KPT4rarrMEGX3/hxlliBBdydsKIbzbGM+Pm5ByQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTokbvosMSKPU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGCKJ+nwaGk8fmRpJBUCR5RfmWZH7uyD6t+xVySCaOsqwRrcxD2eM9aBuHTDlkitPDCI+9HnSg8p2xPZaphymjxNy2YKRe52SMOJ7d6XbO98XEzkSFv1NXjBMV9vvJ7AECPAMaKMB99Hw Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B0AQCTh7tWkYd+49RehAxtiFypcIdAgWYXDIUgSgKBOToSAQEBAQEBAQEQAQEBAQcLCwkfMIItghUBAQRVJBALRlcGEwkLBogFAQmyIW+NSAEBAQEBAQQBAQEBAQESCIUZhTCEPYI9C0CBJwWHU48lgRkChDGIBYFcSoN5gn8EhVJEhSuIUCcDgkyBUWkBiFIBAQE X-IPAS-Result: A0B0AQCTh7tWkYd+49RehAxtiFypcIdAgWYXDIUgSgKBOToSAQEBAQEBAQEQAQEBAQcLCwkfMIItghUBAQRVJBALRlcGEwkLBogFAQmyIW+NSAEBAQEBAQQBAQEBAQESCIUZhTCEPYI9C0CBJwWHU48lgRkChDGIBYFcSoN5gn8EhVJEhSuIUCcDgkyBUWkBiFIBAQE X-IronPort-AV: E=Sophos;i="5.22,426,1449529200"; d="asc'?scan'208";a="164240969" Received: from mout.kundenserver.de ([212.227.126.135]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Feb 2016 20:00:59 +0100 Received: from office1.lan.sumadev.de ([178.4.66.40]) by mrelayeu.kundenserver.de (mreue002) with ESMTPSA (Nemesis) id 0LeUyk-1ZfRbg0aD8-00qQmD; Wed, 10 Feb 2016 20:00:58 +0100 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 51A8DDC05D; Wed, 10 Feb 2016 20:00:57 +0100 (CET) Message-ID: <1455130851.23513.140.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: Anton Bachin Cc: caml-list@inria.fr Date: Wed, 10 Feb 2016 20:00:51 +0100 In-Reply-To: <1FE0ECD4-BBD6-48DA-95BD-BB240E07484C@yahoo.com> References: <1FE0ECD4-BBD6-48DA-95BD-BB240E07484C@yahoo.com> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-oPE2OfoG7OVsqMz93voe" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:2wCw/aFIWzfFZEwodvgNigx0XbUAYdMPidte1s2Wp6wngiV3i6E 4IM427aeQK+cJPY1/cfKIRnQ7wYlORkArBZzKRJV1N3ZuXc7xqIHyoHv507PZOZwpK8wHFO BTpP05oRn7W1MU6tRst9UwLoWv3ersc/8qOzEL+hsZXZwfCePlpbq1VUeRnOAZ91r6GC/4I oMsRkCsatRDPO8Ppj5Mxg== X-UI-Out-Filterresults: notjunk:1;V01:K0:K/EnJBWBuRk=:7wHtFryJqbl5EM6ybe799e BM7tkNUE4GYxqpoENfXZo1NNNMx125M/nrKPrRU/Fm9FUJGMQ04MeKoU+NvX0dQ4cv9dt4EAe /1XtaNnhJZs/FumPZWVxxhkutg3l8ZIp7Bc4MLlviG+RVN5g36Auik6w/4WwWbXsglZdR6qb3 Y6cbze7loYpCKcAc1WYDF43cupebhbylaQaR9bIgtOYW0Ee/dAkMxtEPD9a5oFOMUYcWhxpw2 P3hXOvcLMFwb91akZo8cNjVQe8HxFJlm/aEd3yfplVgXw8BN8rqJGHkeIulweHRciJPl5pvOY u2Rx4XRJxDcuxT2TJf33Kw/BGQQWM/LypM5M4PhDKjAYZJQgoSOnW9hAxS27TNYD5zAgPINsW AYri4VKzZHflE2xkzqBHUZzgYWlQA0IYbDHYvQtB05e88qM083Jt/Ra0+NYmsIoxKzVD/RVNV mRDIe7u+03cuyO8EJciqDfoBE1vwPJYU6WMrwrGv52uKWQ5bjgK39n+cdu/SBFFlIUaazBeQ4 o7h0q4ruD2eICchSFHNZhCoHcmIjMNNa36Jc72M2mPvDfVF0AEufqb86G2HBrmLxehbEvFjLb ZznM/juuf1w1wMHACGS+fce2FYOIhMYVV4ZI+Fm3oYJLmfb+l1e23ajXQMlD8o9EGMmmvT5CC FKAzslE3JvhRZrnzRXnkYpyFjRjIjuQ7k5Dnu7MKkBINldatEq///M0hhW4NFagehCho= Subject: Re: [Caml-list] =?UTF-8?Q?=5BANN=5D_Bisect=5Fppx_1=2E0=2E0_?= =?UTF-8?Q?=E2=80=93_Modernized_code_coverage_for_OCaml?= --=-oPE2OfoG7OVsqMz93voe Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable That's interesting news. In my last job I used (the old) bisect frequently. What I really would love to see is negative coverage: Mark code sections where you expect that they are never executed. That could be a simple "assert false" but also more extensive error handling. Ideally, the tool would automatically recognize certain patterns. That's especially useful when you have a management that is after high coverage numbers... Gerd Am Mittwoch, den 10.02.2016, 09:33 -0600 schrieb Anton Bachin: > Hello, >=20 > We would like to announce the release of Bisect_ppx 1.0.0, a code coverag= e tool > for OCaml with appealing reports: >=20 > https://github.com/rleonid/bisect_ppx >=20 >=20 > You can see a live coverage report here: >=20 > http://rleonid.github.io/bisect_ppx/coverage/ >=20 > Reports can also be submitted to Coveralls.io using ocveralls [1]. See an > example here [2]. >=20 >=20 > Bisect_ppx is a fork of the original Bisect by Xavier Clerc, with extensi= ve > further development. Differences from Bisect, and from earlier versions of > Bisect_ppx, include: >=20 > - the nicer and more legible HTML reports, > - more thorough instrumentation, now including nested functions and or-pa= tterns, > - improved compatibility with other PPX rewriters, > - an Ocamlbuild plugin, > - many bugfixes, and > - usage, performance, and documentation improvements. >=20 >=20 > Bisect_ppx was originally forked to update and maintain Bisect's PPX mode= , with > the OCaml community moving to PPX. Bisect_ppx does not have Bisect's Caml= p4 > dependency. We do not believe that the original Bisect is being actively > maintained. >=20 >=20 > Regards, > Anton & Leonid >=20 >=20 > P.S. If you are working on a project that uses Bisect_ppx, please let us = know! >=20 >=20 > [1]: https://github.com/sagotch/ocveralls > [2]: https://coveralls.io/builds/4913198/source?filename=3Dsrc%2Fsyntax%2= FinstrumentPpx.ml >=20 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-oPE2OfoG7OVsqMz93voe Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJWu4jjAAoJEAaM4b9ZLB5TMyYH/R+BD5vVN37QoeFIzYrnpUla cUYQ9ivXYbgGiM0hxCu+rjTZPu2cNePuvVlu9KwYVArlq8FlvplEVueg9TgVyXOO brbNtfXReclcWg1LDTlb5GumOPTYk5AQl+VAde8lXoqz0tjZ/GUtlomrXNHiTbcV lfUMKLCla0kf/2dmxMdlItf5Z8v7d3Dv78liAXVIHoAEPWyiNqQzLKh54Xf1TRF3 deXU+ioqT1zgACWJow52dUvVtNRz3/1u1MCrvLUHgUGtME6DdqyQSiVmcoihYJga jF/B/KABAfp56EWlw6oazwncAxbjGgqd3WFOpXxfQzaeeSMpd+vO7eqFoW4vfso= =3LqD -----END PGP SIGNATURE----- --=-oPE2OfoG7OVsqMz93voe--