Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001295Frama-CKernelpublic2012-11-06 09:452014-02-12 16:58
Reportermuriel 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Oxygen-20120901 
Target VersionFixed in VersionFrama-C Fluorine-20130401 
Summary0001295: bad help printing for option when invisible and has negative option
DescriptionI have an invisible option -test-a and a negative form of this option
and the negative form is not invisible when printing help :

$ frama-c -load-script="test.ml" -test-help
Plug-in name: Test
Plug-in shortname: test
Description: test
(...)

***** LIST OF AVAILABLE OPTIONS:

-test-no-a undocumented

*** GETTING INFORMATION

-test-help help of plug-in Test
-test-h alias for option -test-help

(...)
TagsNo tags attached.
Attached Files? file icon test.ml [^] (297 bytes) 2012-11-06 09:45 [Show Content]

- Relationships

-  Notes
(0004609)
signoles (manager)
2014-02-12 16:58

Fix committed to stable/neon branch.

- Issue History
Date Modified Username Field Change
2012-11-06 09:45 muriel New Issue
2012-11-06 09:45 muriel File Added: test.ml
2012-11-06 10:11 virgile Status new => assigned
2012-11-06 10:11 virgile Assigned To => signoles
2012-11-06 10:18 signoles Status assigned => confirmed
2012-11-06 10:38 svn Checkin
2012-11-06 10:38 svn Status confirmed => resolved
2012-11-06 10:38 svn Resolution open => fixed
2013-04-19 11:05 signoles Fixed in Version => Frama-C Fluorine
2013-04-19 11:05 signoles Status resolved => closed
2014-02-12 16:58 signoles Note Added: 0004609
2014-02-12 16:58 signoles Status closed => resolved


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker