Feedback from -remove-redundant-alarms
ID0001590: This issue was created automatically from Mantis Issue 1590. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0001590 | Frama-C | Plug-in > scope | public | 2014-01-02 | 2014-03-13 |
Reporter | Anne | Assigned To | yakobowski | Resolution | fixed |
Priority | low | Severity | text | Reproducibility | have not tried |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Fluorine-20130601 | Target Version | - | Fixed in Version | Frama-C Neon-20140301 |
Description :
It would be nice to have the list of the removed annotations when -remove-redundant-alarms is used. At the moment, it is a debug message, but I think that it should be a feedback message instead (could be only printed for -scope-verbose 2 for instance).