--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on October 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-C



Hello,

nam nam a ?crit :
> Good morning Sir
> 
> I have tried to install frama-C(version Lithium and Hydrogen) and Jessie 
> plug-in too. Unfortunately, I could only install frama-C but Jessie is 
> not. I cannot use the command
> 
> frama-c -jessie max.c
> 
> I can only use command
> 
> jessie ...
> 
> How can I fix this problem and use frama-c to verify my software?
> 
> Thank you
> D.T.Nam

In Lithium and Hydrogen, the option for executing the Frama-C plug-in 
Jessie was -jessie-analysis.

The option -jessie is the new name for this option introduced in Frama-C 
Beryllium, the last major version of Frama-C.

Please prefer to send an e-mail to frama-c-discuss (in Cc) which is the 
public mailing list dedicated to this kind of questions : you will have 
faster answers while others Frama-C users will easily get the answer.

Hope this helps,
Julien Signoles
-- 
Researcher-engineer
CEA LIST, Software Reliability Lab
91191 Gif-Sur-Yvette Cedex
tel:(+33)1.69.08.82.98  fax:(+33)1.69.08.83.95  Julien.Signoles at cea.fr