Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000687Frama-CKernelpublic2011-01-25 09:482018-09-05 16:33
Reportersignoles 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionwon't fix 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000687: Losing some cmdline option settings when loading
DescriptionRunning "./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.
TagsNo tags attached.
Attached Files

- Relationships
related to 0000668closedsignoles Redirecting the output to a file does not work 

-  Notes
(0002352)
signoles (manager)
2011-09-30 10:54

Seem that we agree on a general quite-nice solution. Not to be implemented in Nitrogen however.
(0006638)
signoles (manager)
2018-09-05 16:33

Most of the issues have been fixed. No one complains since a while about that ==> close it.

- Issue History
Date Modified Username Field Change
2011-01-25 09:48 signoles New Issue
2011-01-25 09:48 signoles Status new => assigned
2011-01-25 09:48 signoles Assigned To => signoles
2011-01-25 09:48 signoles Status assigned => acknowledged
2011-01-28 12:17 signoles Target Version => Frama-C Nitrogen-20110901
2011-02-16 11:12 signoles Relationship added related to 0000668
2011-05-16 17:10 signoles Relationship added related to 0000707
2011-09-30 10:54 signoles Note Added: 0002352
2011-09-30 10:54 signoles Target Version Frama-C Nitrogen-20111001 => Frama-C Oxygen-2012xx01
2012-04-08 10:21 yakobowski Status acknowledged => assigned
2012-04-08 10:21 yakobowski Assigned To signoles => yakobowski
2012-04-15 22:08 svn Checkin
2012-04-15 22:56 svn Checkin
2012-04-15 23:02 yakobowski Assigned To yakobowski => signoles
2012-07-27 10:11 svn Checkin
2012-09-14 10:53 signoles Target Version Frama-C Oxygen-2012xx01 =>
2018-09-05 16:33 signoles Note Added: 0006638
2018-09-05 16:33 signoles Status assigned => closed
2018-09-05 16:33 signoles Resolution open => won't fix


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker