--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on February 2017 ---
Thanks a lot David and Virgile for patiently answering someone from an electronics background. I learnt about the pre-processor of GCC today. So looks like if I use arm-none-eabi-gcc to produce the preprocessed output and then run it through frama-C, it processes it without much trouble. As of now I only checked the Value Analysis plug-in. I'll check the other ones too. Cheers! On Fri, Feb 3, 2017 at 1:35 PM, Virgile Prevosto <virgile.prevosto at m4x.org> wrote: > just need to add options -C (stop after pre-processing) and -E (keep Prithvi -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20170203/9bb5ec3c/attachment.html>