--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on June 2015 ---
Dear Frama-C users, Is it possible to configure frama-C to return the metrics of a single function? Calling -metrics-by-function gives an output with all of the functions under that file, is it possible to say get only function foo under a file? Example: fileName.C function bar function foo <- only wants to get this Thanks D -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150619/3c204944/attachment.html>