--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on October 2009 ---
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