Duplicates are created on the tab "Messages"
ID0002276: This issue was created automatically from Mantis Issue 2276. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002276 | Frama-C | Graphical User Interface | public | 2017-02-03 | 2017-11-27 |
| Reporter | Max P. | Assigned To | maroneze | Resolution | reopened |
| Priority | normal | Severity | tweak | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C 14-Silicon | Target Version | - | Fixed in Version | - |
Description :
New messages append to old messages on the tab "Messages" if an analysis are rerun with new options.
Steps To Reproduce :
- Run Value analysis.
- Change any option.
- Run Value analysis.