--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on June 2010 ---
Hello, Le mer. 16 juin 2010 20:27:36 CEST, Ricardo Almeida <ricardoalmeida1985 at gmail.com> a ?crit : > Thanks for answering, > > 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. > > > > I changed the name and then tried > > E:\Program Files\Frama-C\bin>frama-c.exe first.i > > but there was no result. Then I tried to load it as a .c source to the GUI 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. -- E tutto per oggi, a la prossima volta. Virgile [1] In case of pre-processing, you have also the command-line used for pre-processing, but as said previously, a .i file is considered to have already been pre-processed.