2021-01-27 12:08 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001451Frama-CKernelpublic2014-03-13 15:57
Assigned Tosignoles 
Product Version 
Target VersionFixed in VersionFrama-C Neon-20140301 
Summary0001451: Journalisation of -no-unicode option
DescriptionThe -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.
TagsNo tags attached.
Attached Files




signoles (manager)

Last edited: 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.


signoles (manager)

The issue about mixing "-no-unicode -load-script" remains...


signoles (manager)

Fix committed to stable/neon branch.

-Issue History
Date Modified Username Field Change
2013-07-04 10:18 patrick New Issue
2013-07-04 11:19 signoles Status new => assigned
2013-07-04 11:19 signoles Assigned To => signoles
2013-09-26 12:34 signoles Note Added: 0004094
2013-09-26 12:34 signoles Status assigned => closed
2013-09-26 12:34 signoles Resolution open => won't fix
2013-09-26 12:35 signoles Note Edited: 0004094
2013-09-26 12:43 signoles Note Added: 0004095
2013-09-26 12:43 signoles Status closed => acknowledged
2013-09-26 12:43 signoles Resolution won't fix => open
2013-09-26 12:53 svn
2013-09-26 12:53 svn Status acknowledged => resolved
2013-09-26 12:53 svn Resolution open => fixed
2013-12-19 01:11 signoles Source_changeset_attached => framac master daae8d06
2014-02-12 16:53 signoles Source_changeset_attached => framac stable/neon daae8d06
2014-02-12 16:57 signoles Note Added: 0004559
2014-03-13 15:56 signoles Fixed in Version => Frama-C Neon-20140301
2014-03-13 15:57 signoles Status resolved => closed
+Issue History