frama-c issueshttps://git.frama-c.com/pub/frama-c/-/issues2021-02-22T12:55:41Zhttps://git.frama-c.com/pub/frama-c/-/issues/178option -report-csv doesn't work anymore ?2021-02-22T12:55:41ZPatricia Mouyoption -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:
**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 ?https://git.frama-c.com/pub/frama-c/-/issues/1847RTE are not in 'report'2022-09-28T12:03:29Zmantis-gitlab-migrationRTE are not in 'report'ID0001430:
**This issue was created automatically from Mantis Issue 1430. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | ---...ID0001430:
**This issue was created automatically from Mantis Issue 1430. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0001430 | Frama-C | Plug-in > report | public | 2013-05-24 | 2013-05-31 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | Anne | **Assigned To** | correnson | **Resolution** | open |
| **Priority** | normal | **Severity** | minor | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Fluorine-20130401 | **Target Version** | - | **Fixed in Version** | - |
### Description :
Using -rte and then -report :
$ frama-c test.c -rte -then -report
the generated assertions are not in the result.
After a value analysis:
$ frama-c test.c -rte -then -val -then -report
they are in the result now.Loïc CorrensonLoïc Correnson