Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001765Frama-CKernelpublic2014-04-28 21:472015-03-17 22:17
Reportermehdi 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Neon-20140301 
Target VersionFixed in VersionFrama-C Sodium 
Summary0001765: Spelling errors in binary
DescriptionI've detected some spelling errors that end up in the binary. Please find attached a patch that deals with them. Besides, there is also a use of "informations" instead of "information" in a few places in the code.
TagsNo tags attached.
Attached Filespatch file icon 0001-Fix-spelling-error-in-binary.patch [^] (2,967 bytes) 2014-04-28 21:47 [Show Content]

- Relationships

-  Notes
(0005094)
signoles (manager)
2014-05-15 09:49

Thanks for the patch.

- Issue History
Date Modified Username Field Change
2014-04-28 21:47 mehdi New Issue
2014-04-28 21:47 mehdi File Added: 0001-Fix-spelling-error-in-binary.patch
2014-05-11 05:38 signoles Assigned To => signoles
2014-05-11 05:38 signoles Status new => assigned
2014-05-15 09:49 signoles Note Added: 0005094
2014-05-15 09:49 signoles Status assigned => resolved
2014-05-15 09:49 signoles Resolution open => fixed
2015-03-17 22:17 signoles Fixed in Version => Frama-C Sodium
2015-03-17 22:17 signoles Status resolved => closed


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker