option -report-csv doesn't work anymore ?
ID0002423: This issue was created automatically from Mantis Issue 2423. Further discussion may take place here.
|ID0002423||Frama-C||Plug-in > report||public||2019-01-22||2019-01-24|
|Reporter||pmo||Assigned To||maroneze||Resolution||no change required|
|Product Version||Frama-C 18-Argon||Target Version||Frama-C 19-Potassium||Fixed in Version||-|
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 ?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information