| View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0001295 | Frama-C | Kernel | public | 2012-11-06 09:45 | 2014-02-12 16:58 |
|
| Reporter | muriel | |
| Assigned To | signoles | |
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | Frama-C Oxygen-20120901 | |
| Target Version | | Fixed in Version | Frama-C Fluorine-20130401 | |
|
| Summary | 0001295: bad help printing for option when invisible and has negative option |
| Description | 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
(...) |
| Tags | No tags attached. |
|
| Attached Files |  test.ml [^] (297 bytes) 2012-11-06 09:45 [Show Content] [Hide Content]include Plugin.Register(struct
let name = "Test"
let shortname = "test"
let help = "test"
end)
let () = Plugin.is_invisible ()
let () = Plugin.set_negative_option_name "-test-no-a"
module A =
False(
struct
let option_name = "-test-a"
let help = "help !!"
end)
|
|
Relationships 
Relationships