Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-C

  • Subject: [Frama-c-discuss] frama-C
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Fri, 16 Oct 2009 16:46:47 +0200
  • In-reply-to: <1f8a0c0a0910160720l7eb03cfeq8ec372172b1c3a97@mail.gmail.com>
  • References: <1f8a0c0a0910160720l7eb03cfeq8ec372172b1c3a97@mail.gmail.com>
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