Things get mixed-up between project
ID0001274: This issue was created automatically from Mantis Issue 1274. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001274 | Frama-C | Kernel | public | 2012-09-11 | 2014-02-12 |
| Reporter | Anne | Assigned To | yakobowski | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | sometimes |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Nitrogen-20111001 | Target Version | - | Fixed in Version | Frama-C Oxygen-20120901 |
Description :
I do some computation on a first project, then I close it (Project.remove). Then I work on another new project, and it seems that I get some information from the first project. I don't use any load/save feature.
I suspect that it comes from PDG, but I am not sure. Anyway, it is very strange that I can still print statements from the first project.
Moreover, when I use the debug mode, the problem disappear !!!
I known that you probably can do nothing with this very imprecise description, but any hints are warmly welcome !