Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000677Frama-CKernelpublic2011-01-18 18:492014-02-12 16:55
Reporterpascal 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Carbon-20101202-beta2 
Target VersionFixed in VersionFrama-C Carbon-20110201 
Summary0000677: Help options are wrongly described as "aliases" when they have the same description.
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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2011-01-18 18:49 pascal New Issue
2011-01-18 18:49 pascal Status new => assigned
2011-01-18 18:49 pascal Assigned To => signoles
2011-01-18 19:16 signoles Status assigned => acknowledged
2011-01-21 14:52 svn Checkin
2011-01-21 14:52 svn Status acknowledged => resolved
2011-01-21 14:52 svn Resolution open => fixed
2011-01-24 11:06 svn Checkin
2011-02-09 14:36 signoles Status resolved => closed
2011-02-09 14:37 signoles Fixed in Version => Frama-C Carbon-20110201


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker