Files of a project state not displayed on reload in GUI
ID0000238: This issue was created automatically from Mantis Issue 238. Further discussion may take place here.
|ID0000238||Frama-C||Graphical User Interface||public||2009-09-11||2014-02-12|
|Product Version||Frama-C Beryllium-20090901||Target Version||-||Fixed in Version||Frama-C Beryllium-20090902|
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.
Additional Information :
The results of the analysis seem to be available after loading a state (in particular the call graph can be displayed).
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information