losing messages doing save/load
ID0000635: This issue was created automatically from Mantis Issue 635. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000635 | Frama-C | Kernel | public | 2010-12-09 | 2014-02-12 |
Reporter | sduprat | Assigned To | signoles | Resolution | fixed |
Priority | normal | Severity | feature | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | Frama-C Carbon-20110201 |
Description :
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.