Frama-C Bug Tracking System - Frama-C
View Issue Details
0000170Frama-CDocumentation > manualspublic2009-06-29 21:192016-06-21 14:21
nsh 
correnson 
normalmajoralways
closedfixed 
 
Frama-C Beryllium-20090902 
0000170: Impossible to pass option to jessie or why through jessie plugin
In Beryllium it's impossible to pass neigher jessie no why options [shmyrev@gnome bin]$ ./frama-c -jessie -jessie-jc-opt -separation test.c [kernel] error: option `-jessie-jc-opt' requires a string as argument. [kernel] error: use `./frama-c -help' for more information. The same issue with -jessie-why-opt
No tags attached.
has duplicate 0000340closed  Problem to give an option to Jc in command-line with -jessie-jc-opt 
Issue History
2009-06-29 21:19nshNew Issue
2009-06-30 09:09signolesStatusnew => assigned
2009-06-30 09:09signolesAssigned To => signoles
2009-06-30 09:13signolesNote Added: 0000225
2009-06-30 09:13signolesStatusassigned => closed
2009-06-30 09:13signolesResolutionopen => no change required
2009-06-30 11:00nshNote Added: 0000226
2009-06-30 11:00nshStatusclosed => feedback
2009-06-30 11:00nshResolutionno change required => reopened
2009-06-30 11:03signolesCategoryplug-in > jessie => documentation
2009-06-30 11:06signolesNote Added: 0000227
2009-06-30 11:06signolesAssigned Tosignoles =>
2009-06-30 11:06signolesStatusfeedback => acknowledged
2009-07-01 10:48signolesRelationship addedrelated to 0000097
2009-07-05 14:18signolesStatusacknowledged => assigned
2009-07-05 14:18signolesAssigned To => correnson
2009-08-06 10:44puccettiNote Added: 0000334
2009-08-06 12:41signolesStatusassigned => resolved
2009-08-06 12:41signolesFixed in Version => Frama-C Beryllium
2009-08-06 12:41signolesResolutionreopened => fixed
2009-08-26 10:30signolesFixed in VersionFrama-C Beryllium =>
2009-09-02 10:54signolesStatusresolved => closed
2009-09-02 10:57signolesFixed in Version => Frama-C Beryllium
2009-09-07 12:51signolesStatusclosed => resolved
2009-09-07 12:51signolesFixed in VersionFrama-C Beryllium => Frama-C Bore
2009-09-07 12:52signolesNote Added: 0000377
2009-11-23 13:10signolesRelationship addedhas duplicate 0000340
2009-12-03 12:55signolesNote Added: 0000593
2009-12-03 12:55signolesStatusresolved => closed
2009-12-03 12:55signolesFixed in VersionFrama-C Bore => Frama-C Beryllium 2
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:21signolesCategoryDocumentation > ACSL => Documentation > manuals

Notes
(0000225)
signoles   
2009-06-30 09:13   
It is not a bug but a new feature of Beryllium which breaks compatibility with previous versions: in order to better detect and report errors, any argument of options which begins by '-' are invalid by default. You must use the following syntax (using the character '='): $ ./frama-c -jessie -jessie-jc-opt=-separation test.c
(0000226)
nsh   
2009-06-30 11:00   
Would you mind to update -help output then? It's almost impossible to guess the correct invocation form from docs.
(0000227)
signoles   
2009-06-30 11:06   
Documentation should be improved and should specify how to use the Frama-C command line.
(0000334)
puccetti   
2009-08-06 10:44   
This has been added upfront in the Frama-C User Manual.
(0000377)
signoles   
2009-09-07 12:52   
The incoming user manual is still not released.
(0000593)
signoles   
2009-12-03 12:55   
The Frama-C user manual is now released.