--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on June 2011 ---
On Sat, Jun 18, 2011 at 6:39 PM, Christofi Maria <Maria.Christofi at gemalto.com> wrote: > Actually, when I am typing frama-c -jessie-why-opt="-fast-wp" test.c (if we suppose that the file was test.c), it is running gcc and that's all. > > So in my window, it appears preprocessing with "gcc -C -E -I test.c" and it finishes there. Is that normal? Am I doing something wrong? Ahem, you are doing two things wrong. One is replying to the mailing-list digest by quoting the entire digest and without changing the title. The other is forgetting the "-jessie" option. "-jessie-why-opt=?" only configures Jessie, but does not launch it. Pascal