--- layout: fc_discuss_archives title: Message 13 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.



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!