Frama-C Bug Tracking System - Frama-C
View Issue Details
0001451Frama-CKernelpublic2013-07-04 10:182014-03-13 15:57
patrick 
signoles 
normalminoralways
closedfixed 
 
Frama-C Neon-20140301 
0001451: Journalisation of -no-unicode option
The -no-unicode option is a execution mode for frama-c printers. That option is not used as a debug option by the end-user of Frama-C. So, it would be nice if that option could be journalized. Anyway, adding -no-unicode option to the -load-script command does no effect. Unicode are still pretty printed.
No tags attached.
Issue History
2013-07-04 10:18patrickNew Issue
2013-07-04 11:19signolesStatusnew => assigned
2013-07-04 11:19signolesAssigned To => signoles
2013-09-26 12:34signolesNote Added: 0004094
2013-09-26 12:34signolesStatusassigned => closed
2013-09-26 12:34signolesResolutionopen => won't fix
2013-09-26 12:35signolesNote Edited: 0004094
2013-09-26 12:43signolesNote Added: 0004095
2013-09-26 12:43signolesStatusclosed => acknowledged
2013-09-26 12:43signolesResolutionwon't fix => open
2013-09-26 12:53svnCheckin
2013-09-26 12:53svnStatusacknowledged => resolved
2013-09-26 12:53svnResolutionopen => fixed
2014-02-12 16:57signolesNote Added: 0004559
2014-03-13 15:56signolesFixed in Version => Frama-C Neon-20140301
2014-03-13 15:57signolesStatusresolved => closed

Notes
(0004094)
signoles   
2013-09-26 12:34   
(edited on: 2013-09-26 12:35)
This behavior is documented in the user manual (p. 39). When implementing, it was discussed with --- and agreed by --- some industrial users. So I'm not sure we want to change it. You could ask: "why such a behavior?". Because this option is usually set only on some architectures (e.g. ascii-only terminal), while one of the raison d'ĂȘtre of the journal is to be send from an user to another one.
(0004095)
signoles   
2013-09-26 12:43   
The issue about mixing "-no-unicode -load-script" remains...
(0004559)
signoles   
2014-02-12 16:57   
Fix committed to stable/neon branch.