--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on January 2010 ---
On Thu, Jan 7, 2010 at 11:04 AM, Julien Signoles <Julien.Signoles at cea.fr> wrote: > 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. Version: Lithium-20081201 Compilation date: Mon Jun 8 20:14:30 UTC 2009 Thanks ! -- Regards, Groleo!