--- layout: fc_discuss_archives title: Message 47 from Frama-C-discuss on July 2012 ---
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>