Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002323Frama-CDocumentationpublic2017-08-11 18:352017-08-11 18:49
Reportermehdi 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
Product VersionFrama-C 15 Phosphorus 
Target VersionFixed in Version 
Summary0002323: Spelling errors
DescriptionHi,

I've found some spelling errors in Frama-C's source code. Please find attached a patch to fixe them.
TagsNo tags attached.
Attached Filespatch file icon 0008-More-fixes-of-spelling-errors.patch [^] (4,293 bytes) 2017-08-11 18:35 [Show Content]
patch file icon 0001-Fix-spelling-error-in-binary.patch [^] (2,708 bytes) 2017-08-11 18:49 [Show Content]

- Relationships

-  Notes
(0006436)
mehdi (reporter)
2017-08-11 18:49

I had another patch with other spelling errors. I am attaching it here.

- Issue History
Date Modified Username Field Change
2017-08-11 18:35 mehdi New Issue
2017-08-11 18:35 mehdi File Added: 0008-More-fixes-of-spelling-errors.patch
2017-08-11 18:49 mehdi Note Added: 0006436
2017-08-11 18:49 mehdi File Added: 0001-Fix-spelling-error-in-binary.patch


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker