Frama-C Bug Tracking System - Frama-C
View Issue Details
0002198Frama-CDocumentationpublic2015-12-09 15:592016-06-21 14:15
jens 
correnson 
normalminoralways
assignedopen 
Frama-C Sodium 
Frama-C Aluminium 
0002198: typo in output of 'frama-c -wp-help'
In the description of option '-wp-prop' the help option '-wp-help' says "Accepted categories are: lemmas, ..." The WP manuals says (and the observed behavior of WP agrees with it) "Recognized categories are: @lemma,..." (without s).
Just run 'frama-c -wp-help'
It's a minor typo but I actually ran into it. Should be easy to fix.
No tags attached.
Issue History
2015-12-09 15:59jensNew Issue
2015-12-09 15:59jensStatusnew => assigned
2015-12-09 15:59jensAssigned To => signoles
2015-12-09 18:17signolesAssigned Tosignoles => correnson
2016-01-25 17:49signolesTarget Version => Frama-C Aluminium
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:14signolesCategoryDocumentation > ACSL => Documentation
2016-06-21 14:15signolesNote Added: 0006202

Notes
(0006202)
signoles   
2016-06-21 14:15   
Loïc, has that minor bug been fixed? Or could it be for Silicium?