--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on May 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] analysing already preprocessed file



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