Skip to content

Spelling errors in binary

ID0001765: This issue was created automatically from Mantis Issue 1765. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0001765 Frama-C Kernel public 2014-04-28 2015-03-17
Reporter mehdi Assigned To signoles Resolution fixed
Priority normal Severity minor Reproducibility always
Platform - OS - OS Version -
Product Version Frama-C Neon-20140301 Target Version - Fixed in Version Frama-C Sodium

Description :

I'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.

Attachments

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information