--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on July 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



Hello,

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.

Best regards,
Haihao
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120720/1e782aa5/attachment-0001.html>