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