--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on November 2012 ---
Hello allo, I am a new user of Frama-C. I am going to verify a c code containing many functions. Do I have to split the code and verify each function seperately? Or verify the whole code? Can you help me, please? Do anyone did something similar? I really need your help!!! Best regards, Intissar -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20121130/ff062f6d/attachment.html>