--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on June 2010 ---
Hello On Thu, Jun 17, 2010 at 8:02 AM, Virgile Prevosto <virgile.prevosto at cea.fr>wrote: > > Well, by default if you only pass a filename as argument without any > option, frama-c will only attempt to typecheck the source. This > operation generates output only in case of a syntax or type-checking > error[1]. Try e.g. > frama-c.exe -print first.i > This command should output on stdout the code of first.i as normalized > by CIL. > Thanks for the explanation. I just tried that and I got the expected result. Ricardo -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100621/52474f41/attachment.htm>