Frama-C Bug Tracking System - Frama-C
View Issue Details
0000635Frama-CKernelpublic2010-12-09 10:322014-02-12 16:55
Frama-C Boron-20100401 
Frama-C Carbon-20110201 
0000635: losing messages doing save/load
The option "-save" is efficient to save state of the projet, for example, values computed by the value analysis. We are able to retrieve these values in an other session with the "-load" option. But it seems that warnings previously displayed in "message" tab are lost in the opened project.
No tags attached.
c test.c (102) 2010-12-13 10:55
Issue History
2010-12-09 10:32sdupratNew Issue
2010-12-09 16:40signolesNote Added: 0001303
2010-12-09 16:40signolesAssigned To => signoles
2010-12-09 16:40signolesStatusnew => feedback
2010-12-13 10:53sdupratNote Added: 0001307
2010-12-13 10:55sdupratFile Added: test.c
2010-12-13 10:55sdupratNote Edited: 0001307
2010-12-13 10:59signolesNote Added: 0001308
2010-12-13 10:59signolesSeverityminor => feature
2010-12-13 10:59signolesStatusfeedback => acknowledged
2010-12-13 12:22sdupratNote Added: 0001309
2010-12-21 17:39svnCheckin
2010-12-21 17:39svnStatusacknowledged => resolved
2010-12-21 17:39svnResolutionopen => fixed
2010-12-21 17:40signolesNote Added: 0001347
2011-02-09 14:36signolesStatusresolved => closed
2011-02-09 14:37signolesFixed in Version => Frama-C Carbon-20110201

2010-12-09 16:40   
I tried to reproduce your issue on a single example but it works as expected: the "message" tab contains the same message after -load than before -save. Please could you give us an example with all the necessary infos in order to be able to reproduce your issue?
2010-12-13 10:53   
(edited on: 2010-12-13 10:55)
On my small example, it works fine when i save the session throw the gui, but it does not work with the following batch command : frama-c -val test.c -save test1.session frama-c-gui -load test1.session the exemple c file is in attachment.
2010-12-13 10:59   
OK. I understand your issue now. When you execute Frama-C via the batch command, the messages are not stored by Frama-C (thus not saved and then not reloaded). That's a feature, not a bug :). Thus I classify your issue as a "feature request".
2010-12-13 12:22   
I undestand now, ok for a feature (an intersting feature).
2010-12-21 17:40   
This feature is now implemented. You have to use the new option -collect-messages like this: $ frama-c -collect-messages -val test.c -save test1.session $ frama-c-gui -load test1.session