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.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000238 | Frama-C | Graphical User Interface | public | 2009-09-11 | 2014-02-12 |
Reporter | pherrmann | Assigned To | monate | Resolution | fixed |
Priority | normal | Severity | minor | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Beryllium-20090901 | Target Version | - | Fixed in Version | Frama-C Beryllium-20090902 |
Description :
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).