--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on June 2010 ---
> E:\Program Files\Frama-C\bin>frama-c.exe first.c > [kernel] preprocessing with "C:\cygwin\bin\gcc.exe -C -E I?? first.c" > > but no more results are shown, nor is any file created in this directory > after this command. If pre-processing seems to be the problem, you can try to rename the file "first.c" into "first.i" so that it is not pre-processed by Frama-C. Pascal