--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on October 2015 ---
Tick marks on functions are not shown. The impact option is not shown. Please help in usage of this tool. -- *Shubham SethiStudent (B.TECH* *)* *Govt. Engg. College , Ajmer (Rajasthan)* -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20151007/de34c8ca/attachment-0001.html>