Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Code Coverage for Ocaml Code

Thanks for your reply. You can also try ocaml bisect, which is suggested in
this mailing list.

On Wed, Jul 25, 2012 at 10:27 PM, Boris Yakobowski <boris at yakobowski.org>wrote:

> Hi,
>
> On Fri, Jul 20, 2012 at 6:48 AM, haihao shen <haihaoshen at gmail.com> wrote:
> > I saw from the Makefile of Frama-c that there is something related with
> code
> > coverage. I am wondering whether this feature could be used inside
> Frama-c.
> > If not, do you know how to measure code coverage for Ocaml code? Thanks.
>
> The Makefile section you noticed uses the code from this project:
> http://ocaml-coverage.sourceforge.net/
> However, it has remained unused for years. In order to compile said
> project, I add to patch the generated Makefile this way:
>
> --- Makefile    2012-07-25 16:26:18.653952714 +0200
> +++ Makefile    2012-07-25 16:21:22.693155350 +0200
> @@ -23,7 +23,7 @@
>
>  # other variables set by ./configure
>  CAMLP4 = camlp4o
> -CAMLP4_OPTIONS= -parser OCamlQuotation -parser Grammar
> +CAMLP4_OPTIONS= -parser Camlp4QuotationCommon -parser
> Camlp4OCamlOriginalQuotationExpander -parser Grammar
>  # -parser OCaml -parser OCamlParser -parser OCamlQuotationBase
>  OCAMLC   = ocamlc.opt -dtypes
>  OCAMLOPT = ocamlopt.opt -dtypes
> @@ -36,7 +36,7 @@
>  OCAMLWEB = true
>  OCAMLWIN32 = no
>  EXE =
> -INCLUDES = -I +camlp4
> +INCLUDES = -I +camlp4 -I +camlp4/Camlp4Parsers
>  BFLAGS = -g $(INCLUDES)
>  OFLAGS = $(INCLUDES)
>  GRAMMAR_COMPILER= $(OCAMLC) $(BFLAGS) -pp "$(CAMLP4) $(CAMLP4_OPTIONS)"
>
> However, I did not test the result, I just made sure it compiled. So I
> cannot give you much more information than this.
>
> HTH,
>
> --
> Boris
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120726/a55f219b/attachment.html>