Frama-C Bug Tracking System - Frama-C
View Issue Details
0001295Frama-CKernelpublic2012-11-06 09:452014-02-12 16:58
muriel 
signoles 
normalminoralways
closedfixed 
Frama-C Oxygen-20120901 
Frama-C Fluorine-20130401 
0001295: bad help printing for option when invisible and has negative option
I 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 (...)
No tags attached.
? test.ml (297) 2012-11-06 09:45
https://bts.frama-c.com/file_download.php?file_id=444&type=bug
Issue History
2012-11-06 09:45murielNew Issue
2012-11-06 09:45murielFile Added: test.ml
2012-11-06 10:11virgileStatusnew => assigned
2012-11-06 10:11virgileAssigned To => signoles
2012-11-06 10:18signolesStatusassigned => confirmed
2012-11-06 10:38svnCheckin
2012-11-06 10:38svnStatusconfirmed => resolved
2012-11-06 10:38svnResolutionopen => fixed
2013-04-19 11:05signolesFixed in Version => Frama-C Fluorine
2013-04-19 11:05signolesStatusresolved => closed
2014-02-12 16:58signolesNote Added: 0004609
2014-02-12 16:58signolesStatusclosed => resolved

Notes
(0004609)
signoles   
2014-02-12 16:58   
Fix committed to stable/neon branch.