Merge branch 'fix/eva/summary-alarms' into 'stable/calcium'
[Eva] Summary: fixes the number of alarms by category when using RTE and Eva. See merge request frama-c/frama-c!2451
No related branches found
No related tags found
Showing
- src/plugins/value/utils/value_results.ml 8 additions, 5 deletionssrc/plugins/value/utils/value_results.ml
- tests/journal/oracle/intra.res.oracle 1 addition, 1 deletiontests/journal/oracle/intra.res.oracle
- tests/misc/oracle/bts1201.res.oracle 1 addition, 4 deletionstests/misc/oracle/bts1201.res.oracle
- tests/value/oracle/summary.0.res.oracle 2 additions, 2 deletionstests/value/oracle/summary.0.res.oracle
- tests/value/oracle/summary.1.res.oracle 1 addition, 1 deletiontests/value/oracle/summary.1.res.oracle
- tests/value/oracle/summary.2.res.oracle 3 additions, 3 deletionstests/value/oracle/summary.2.res.oracle
- tests/value/oracle/summary.3.res.oracle 47 additions, 26 deletionstests/value/oracle/summary.3.res.oracle
- tests/value/oracle/summary.4.res.oracle 164 additions, 0 deletionstests/value/oracle/summary.4.res.oracle
- tests/value/summary.i 17 additions, 0 deletionstests/value/summary.i
Loading
Please register or sign in to comment