--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on May 2011 ---
Hi, On Wed, May 25, 2011 at 4:54 PM, DUPRAT Stephane <STEPHANE.DUPRAT at atosorigin.com> wrote: > Hello, > > In the case where I have an already preprocessed file that I want to analyse > with Frama-c without involving my compiler an other time. [snip] > Is there any configuration, or workaround for doing that ? Just name your file with a ".i" suffix, not ".c". This skips the preprocessing step altogether. -- Boris