Frama-C Bug Tracking System - Frama-C
View Issue Details
0000677Frama-CKernelpublic2011-01-18 18:492014-02-12 16:55
pascal 
signoles 
normalminoralways
closedfixed 
Frama-C Carbon-20101202-beta2 
Frama-C Carbon-20110201 
0000677: Help options are wrongly described as "aliases" when they have the same description.
-separate-stmts <n1,..,nk> Undocumented
-separate-of <n1,..,nk> alias for option -separate-stmts
-separate-n <n1,..,nk> alias for option -separate-stmts

No: they are three separate undocumented options. Just because they obey the same partial specification does not mean that they are the same.
No tags attached.
Issue History
2011-01-18 18:49pascalNew Issue
2011-01-18 18:49pascalStatusnew => assigned
2011-01-18 18:49pascalAssigned To => signoles
2011-01-18 19:16signolesStatusassigned => acknowledged
2011-01-21 14:52svnCheckin
2011-01-21 14:52svnStatusacknowledged => resolved
2011-01-21 14:52svnResolutionopen => fixed
2011-01-24 11:06svnCheckin
2011-02-09 14:36signolesStatusresolved => closed
2011-02-09 14:37signolesFixed in Version => Frama-C Carbon-20110201

There are no notes attached to this issue.