Frama-C Bug Tracking System - Frama-C
View Issue Details
0000238Frama-CGraphical User Interfacepublic2009-09-11 09:382014-02-12 16:56
Frama-C Beryllium-20090901 
Frama-C Beryllium-20090902 
0000238: Files of a project state not displayed on reload in GUI
After creating a project consisting of a single file plus a standard value analysis in frama-c-gui : - save the state - quit the gui - relaunch the gui - load the state The files belonging in the project are not displayed in the left tab.
The results of the analysis seem to be available after loading a state (in particular the call graph can be displayed).
No tags attached.
Issue History
2009-09-11 09:38pherrmannNew Issue
2009-09-11 10:23signolesStatusnew => assigned
2009-09-11 10:23signolesAssigned To => monate
2009-09-11 20:25svnCheckin
2009-09-12 07:29signolesStatusassigned => resolved
2009-09-12 07:29signolesFixed in Version => Frama-C Bore
2009-09-12 07:29signolesResolutionopen => fixed
2009-09-23 15:26signolesFixed in VersionFrama-C Bore => Frama-C Beryllium 2
2009-09-23 20:22signolesStatusresolved => closed

There are no notes attached to this issue.