--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on January 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] GWhy not working with Coq.



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