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).