ID0002423: **This issue was created automatically from Mantis Issue 2423. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002423 | Frama-C | Plug-in > report | public | 2019-01-22 | 2019-01-24 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | pmo | **Assigned To** | maroneze | **Resolution** | no change required | | **Priority** | normal | **Severity** | major | **Reproducibility** | always | | **Platform** | linux | **OS** | ubuntu | **OS Version** | 4.18 | | **Product Version** | Frama-C 18-Argon | **Target Version** | Frama-C 19-Potassium | **Fixed in Version** | - | ### Description : this option seems to be deprecated now ... I know there is a new option to make report with Eva but only for red alarms and only with eva - I want a complete report as before with -report-csv There is no indication at all in the changelog or maybe I've missed something ? Is there a new way to use this option or another option to have the same result ?