typo in output of 'frama-c -wp-help'
ID0002198: This issue was created automatically from Mantis Issue 2198. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002198 | Frama-C | Documentation | public | 2015-12-09 | 2016-06-21 |
| Reporter | jens | Assigned To | correnson | Resolution | open |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Sodium | Target Version | Frama-C Aluminium | Fixed in Version | - |
Description :
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).
Additional Information :
It's a minor typo but I actually ran into it. Should be easy to fix.
Steps To Reproduce :
Just run 'frama-c -wp-help'
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information