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).