View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0001451 | Frama-C | Kernel | public | 2013-07-04 10:18 | 2014-03-13 15:57 | ||||
Reporter | patrick | ||||||||
Assigned To | signoles | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | |||||||||
Target Version | Fixed in Version | Frama-C Neon-20140301 | |||||||
Summary | 0001451: Journalisation of -no-unicode option | ||||||||
Description | 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. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
signoles (manager) 2013-09-26 12:34 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) 2013-09-26 12:43 |
The issue about mixing "-no-unicode -load-script" remains... |
signoles (manager) 2014-02-12 16:57 |
Fix committed to stable/neon branch. |
![]() |
|||
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 |