Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002198Frama-CDocumentationpublic2015-12-09 15:592016-06-21 14:15
Reporterjens 
Assigned Tocorrenson 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Sodium 
Target VersionFrama-C AluminiumFixed in Version 
Summary0002198: typo in output of 'frama-c -wp-help'
DescriptionIn 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).
Steps To ReproduceJust run 'frama-c -wp-help'
Additional InformationIt's a minor typo but I actually ran into it. Should be easy to fix.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0006202)
signoles (manager)
2016-06-21 14:15

Loïc, has that minor bug been fixed? Or could it be for Silicium?

- Issue History
Date Modified Username Field Change
2015-12-09 15:59 jens New Issue
2015-12-09 15:59 jens Status new => assigned
2015-12-09 15:59 jens Assigned To => signoles
2015-12-09 18:17 signoles Assigned To signoles => correnson
2016-01-25 17:49 signoles Target Version => Frama-C Aluminium
2016-06-21 14:11 signoles Category Documentation => Documentation > ACSL
2016-06-21 14:14 signoles Category Documentation > ACSL => Documentation
2016-06-21 14:15 signoles Note Added: 0006202


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker