option -report-csv doesn't work anymore ?
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 ?