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 C77277EF0D for ; Wed, 10 Feb 2016 20:24:37 +0100 (CET) IronPort-PHdr: 9a23:LhMOPhH/Y1hfE57k9DTU5J1GYnF86YWxBRYc798ds5kLTJ74p82wAkXT6L1XgUPTWs2DsrQf27WQ6PqrADZaqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7/0oMeYOl8SzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEXQKZURA86NGQt4cTts1GXTA2B4VMTX38a1wFUBAzd6Rj8WNH9v32+/uF03S3SINb7V6t8DT+r6qMuTB7zlA8GMSQ4+SfZkJojorhcpUeOrhZlwoPQKLqeNPdkc7mVKdwTT3BAU8IXTCdBD5mxdaMACuMAOaBTqIyr9AhGlge3GQT5XLCn8TRPnHKjhaA= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f173.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.213.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.213.173 as permitted sender) identity=mailfrom; client-ip=209.85.213.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-ig0-f173.google.com) identity=helo; client-ip=209.85.213.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ig0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CiAQDrjbtWmK3VVdFeg1g0bQaIVqZQgyKJJhcBC4UgSgKBMgc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugi2CFQEBAwESER0BFAceAwELBgMCCwM0AgIiAREBBQEcBgESCQsGCIdjAQMKCA6UXI8/gTE+MYs0gWmCV4UQChknDVGDcwEBAQEBAQQBAQEBAQEBAQERAQUKBIYEhDeEPSKCGwstE4EnBYdThkiIXYVMhhWBcIFcSoN5iFVEhSuHFBEegQ0PJ4IiHoFuHi4BiFIBAQE X-IPAS-Result: A0CiAQDrjbtWmK3VVdFeg1g0bQaIVqZQgyKJJhcBC4UgSgKBMgc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugi2CFQEBAwESER0BFAceAwELBgMCCwM0AgIiAREBBQEcBgESCQsGCIdjAQMKCA6UXI8/gTE+MYs0gWmCV4UQChknDVGDcwEBAQEBAQQBAQEBAQEBAQERAQUKBIYEhDeEPSKCGwstE4EnBYdThkiIXYVMhhWBcIFcSoN5iFVEhSuHFBEegQ0PJ4IiHoFuHi4BiFIBAQE X-IronPort-AV: E=Sophos;i="5.22,426,1449529200"; d="scan'208,217";a="202531412" Received: from mail-ig0-f173.google.com ([209.85.213.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Feb 2016 20:24:36 +0100 Received: by mail-ig0-f173.google.com with SMTP id xg9so20805766igb.1 for ; Wed, 10 Feb 2016 11:24:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=KhjSff+s3bBDUn/txGoRmGUIyzAo8shOS41QERND+oA=; b=nUpxwLFF1ZzwJ84kP8xtt1qk1do5fGl2j0+GBCHXCcrWmeBsDoOA9qtttmxn6JXE3X BQSVAWGbYYAOJa8bUqiwUQ2pB1Q9BfndqpNlbs5XFteJBiKy/LH7DA6fs2BNKKD78Gfa HWtQg9NsvYQGqX73n3uibeRVdM/bq5T8/A91pJ1cWDucNwXSEq0wWNZzI59mwwFMkqts PSN55hsr/WWEb/z/Z/4rJNaOEn6rkTpR/oBNgUTDioMnxWuaJMNmwEPMaIlbXbMffnBr D7TWPeJMa/AtmgC5uIQ4zQDZ6uHhoTz+73P9ev98M1p8l7W6hwvGNWcBSBXoJ+MLwdBg OlKA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:content-type; bh=KhjSff+s3bBDUn/txGoRmGUIyzAo8shOS41QERND+oA=; b=b8snm7hfG8OsAgiuIL8yi8xMzDePUhL/iVgLWD6ZY/++f1eEvbHVlCQ5wk856s+FAd xjdgimtkltGfmHmlJxzn8DWZsrKjasJZGPOqob6fuibdiB86QQu1gIA04Kgf2Nmp4gPJ RijsP8vV/eSBV0PD1YFSGc5nFgcavFrMnstlTrJUM4ajc3uyf9HNqN2O7Qzsm1k0OlzV tu7ph/jKpdFZu5sWOkOHS1sD9o6B+Hz5s1sJi+NZ9VgqPguIr0P5AHYh4vTv/4DeBbNc VJfJZI2puij2DlvUycJpnSJhuYVVXjNuU7Qb1EZ9dkYUpsIAwytZt2Yn86lqR03kkk0F U1aw== X-Gm-Message-State: AG10YORrqN7cx7VGt+gqvJ27hNGouFyK3/bGFcqt92hjim1rhRh6ulfFaw1MQ1naRP+tsF2mgjtvO6AGF1IW8g== X-Received: by 10.50.59.146 with SMTP id z18mr11945696igq.62.1455132275484; Wed, 10 Feb 2016 11:24:35 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.38.83 with HTTP; Wed, 10 Feb 2016 11:23:56 -0800 (PST) In-Reply-To: <1455130851.23513.140.camel@e130.lan.sumadev.de> References: <1FE0ECD4-BBD6-48DA-95BD-BB240E07484C@yahoo.com> <1455130851.23513.140.camel@e130.lan.sumadev.de> From: Gabriel Scherer Date: Wed, 10 Feb 2016 14:23:56 -0500 Message-ID: To: Gerd Stolpmann , caml users Content-Type: multipart/alternative; boundary=047d7bea3dfc61eda9052b6f62f3 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?= --047d7bea3dfc61eda9052b6f62f3 Content-Type: text/plain; charset=UTF-8 On Wed, Feb 10, 2016 at 2:00 PM, Gerd Stolpmann wrote: > 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. > The old bisect supports special (*BISECT-MARK*) comment to mark dead code for this reason. Do you have something else in mind? > 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, > > > > We would like to announce the release of Bisect_ppx 1.0.0, a code > coverage tool > > for OCaml with appealing reports: > > > > https://github.com/rleonid/bisect_ppx > > > > > > You can see a live coverage report here: > > > > http://rleonid.github.io/bisect_ppx/coverage/ > > > > Reports can also be submitted to Coveralls.io using ocveralls [1]. See an > > example here [2]. > > > > > > Bisect_ppx is a fork of the original Bisect by Xavier Clerc, with > extensive > > further development. Differences from Bisect, and from earlier versions > of > > Bisect_ppx, include: > > > > - the nicer and more legible HTML reports, > > - more thorough instrumentation, now including nested functions and > or-patterns, > > - improved compatibility with other PPX rewriters, > > - an Ocamlbuild plugin, > > - many bugfixes, and > > - usage, performance, and documentation improvements. > > > > > > 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 > Camlp4 > > dependency. We do not believe that the original Bisect is being actively > > maintained. > > > > > > Regards, > > Anton & Leonid > > > > > > P.S. If you are working on a project that uses Bisect_ppx, please let us > know! > > > > > > [1]: https://github.com/sagotch/ocveralls > > [2]: > https://coveralls.io/builds/4913198/source?filename=src%2Fsyntax%2FinstrumentPpx.ml > > > > > > -- > ------------------------------------------------------------ > 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 > ------------------------------------------------------------ > > --047d7bea3dfc61eda9052b6f62f3 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


On Wed, Feb 10, 2016 at 2:00 PM, Gerd Stolpmann <<= a href=3D"mailto:info@gerd-stolpmann.de" target=3D"_blank">info@gerd-stolpm= ann.de> wrote:
That's i= nteresting 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, t= he tool
would automatically recognize certain patterns.

The old bisect supports special (*BISECT-MARK*) comment to mark de= ad code for this reason. Do you have something else in mind?
=C2=A0
That's especially useful when you have a management that is after high<= br> coverage numbers...

Gerd


Am Mittwoch, den 10.02.2016, 09:33 -0600 schrieb Anton Bachin:
> Hello,
>
> We would like to announce the release of Bisect_ppx 1.0.0, a code cove= rage tool
> for OCaml with appealing reports:
>
>=C2=A0 =C2=A0https://github.com/rleonid/bisect_ppx
>
>
> You can see a live coverage report here:
>
>=C2=A0 =C2=A0http://rleonid.github.io/bisect_ppx/co= verage/
>
> Reports can also be submitted to Coveralls.io using ocveralls [= 1]. See an
> example here [2].
>
>
> Bisect_ppx is a fork of the original Bisect by Xavier Clerc, with exte= nsive
> further development. Differences from Bisect, and from earlier version= s of
> Bisect_ppx, include:
>
> - the nicer and more legible HTML reports,
> - more thorough instrumentation, now including nested functions and or= -patterns,
> - improved compatibility with other PPX rewriters,
> - an Ocamlbuild plugin,
> - many bugfixes, and
> - usage, performance, and documentation improvements.
>
>
> Bisect_ppx was originally forked to update and maintain Bisect's P= PX mode, with
> the OCaml community moving to PPX. Bisect_ppx does not have Bisect'= ;s Camlp4
> dependency. We do not believe that the original Bisect is being active= ly
> maintained.
>
>
> Regards,
> Anton & Leonid
>
>
> P.S. If you are working on a project that uses Bisect_ppx, please let = us know!
>
>
> [1]: https://github.com/sagotch/ocveralls
> [2]: https= ://coveralls.io/builds/4913198/source?filename=3Dsrc%2Fsyntax%2FinstrumentP= px.ml
>
>

--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany=C2=A0 =C2=A0 gerd@gerd-stolpmann.de
My OCaml site:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.camlcity.org<= br> Contact details:=C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.camlcity.= org/contact.html
Company homepage:=C2=A0 =C2=A0 =C2=A0 =C2=A0http://www.gerd-stolpmann.de=
------------------------------------------------------------


--047d7bea3dfc61eda9052b6f62f3--