Things get mixed-up between project
ID0001274: This issue was created automatically from Mantis Issue 1274. Further discussion may take place here.
|Product Version||Frama-C Nitrogen-20111001||Target Version||-||Fixed in Version||Frama-C Oxygen-20120901|
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 !