Frama-C Bug Tracking System - Frama-C
View Issue Details
0000687Frama-CKernelpublic2011-01-25 09:482018-09-05 16:33
closedwon't fix 
0000687: Losing some cmdline option settings when loading
Running "./bin/viewer.opt -val t.c", then clicking on "Execute": ok -val is correctly set.

BUT running "./bin/toplevel.opt -val -save t.sav t.c" followed by "./bin/viewer.opt -load t.sav", then clicking on "Execute": KO -val is not set anymore.

This behavior only exists for (what is internally called) 'action' parameters. Actually we must precise the exact semantics, and then implement it consistently.
No tags attached.
related to 0000668closed signoles Redirecting the output to a file does not work 
Issue History
2011-01-25 09:48signolesNew Issue
2011-01-25 09:48signolesStatusnew => assigned
2011-01-25 09:48signolesAssigned To => signoles
2011-01-25 09:48signolesStatusassigned => acknowledged
2011-01-28 12:17signolesTarget Version => Frama-C Nitrogen-20110901
2011-02-16 11:12signolesRelationship addedrelated to 0000668
2011-05-16 17:10signolesRelationship addedrelated to 0000707
2011-09-30 10:54signolesNote Added: 0002352
2011-09-30 10:54signolesTarget VersionFrama-C Nitrogen-20111001 => Frama-C Oxygen-2012xx01
2012-04-08 10:21yakobowskiStatusacknowledged => assigned
2012-04-08 10:21yakobowskiAssigned Tosignoles => yakobowski
2012-04-15 22:08svnCheckin
2012-04-15 22:56svnCheckin
2012-04-15 23:02yakobowskiAssigned Toyakobowski => signoles
2012-07-27 10:11svnCheckin
2012-09-14 10:53signolesTarget VersionFrama-C Oxygen-2012xx01 =>
2018-09-05 16:33signolesNote Added: 0006638
2018-09-05 16:33signolesStatusassigned => closed
2018-09-05 16:33signolesResolutionopen => won't fix

2011-09-30 10:54   
Seem that we agree on a general quite-nice solution. Not to be implemented in Nitrogen however.
2018-09-05 16:33   
Most of the issues have been fixed. No one complains since a while about that ==> close it.