--- layout: fc_discuss_archives title: Message 74 from Frama-C-discuss on December 2009 ---
Hello, Claude Marche a ?crit : > Thus to obtain the same behavior in the gui, you need to do > > frama-c -jessie -jessie-why-opt " -exp goal" sw.c > > (Do not forget the space before the -exp, because of the frama-c model > for options parsing...) Yes, that works. Indeed quoting the Frama-C User Manual, Section 3.3 "Frama-C Command Line and General Options", page 17: ========== If the option's argument is a string (that is, neither an integer nor a float, etc), the following format is also possible: -option_name=value. This last format must be used when value starts with a minus sign. ========== Thus another less-hackish solution is: frama-c -jessie -jessie-why-opt="-exp goal" sw.c (no additional space before -exp expected). -- Julien