Warning repetition in Messages window
ID0000237: This issue was created automatically from Mantis Issue 237. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000237 | Frama-C | Graphical User Interface | public | 2009-09-10 | 2014-02-12 |
| Reporter | pherrmann | Assigned To | correnson | Resolution | fixed |
| Priority | urgent | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Beryllium-20090901 | Target Version | Frama-C Beryllium-20090902 | Fixed in Version | Frama-C Beryllium-20090902 |
Description :
The exact same warning is repeated a number of times (10+) in the "Messages" window of the GUI.
Additional Information :
For the file in attachment : I get several "out of bound read ..." at line 5 after value analysis.