--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on January 2010 ---
Hello, Groleo Marius a ?crit : > Thanks for the tip. Helped a lot. One minor modification which I hope > doesn't change the > behavior of the command. I used -jessie-analysis option instead of -jessie. > This version of Coq seems to not know about -jessie option. > > frama-c -jessie -jessie-atp coq fbmove.c > frama-c: unknown option `-jessie'. > toplevel options files... What is your version of Frama-C (frama-c -version)? If you have Frama-C <= Lithium, the option for running jessie is -jessie-analysis, otherwise (Frama-C Beryllium) that is -jessie. -- Julien