Merge branch 'fix/eva/summary-coverage' into 'master'
[Eva] Fixes the total number of functions in the summary. See merge request frama-c/frama-c!2416
Showing
- src/plugins/value/utils/value_results.ml 15 additions, 13 deletionssrc/plugins/value/utils/value_results.ml
- tests/callgraph/oracle/issue_55_iter_over_unregistered_function.res.oracle 1 addition, 1 deletion...racle/issue_55_iter_over_unregistered_function.res.oracle
- tests/idct/oracle/ieee_1180_1990.res.oracle 1 addition, 1 deletiontests/idct/oracle/ieee_1180_1990.res.oracle
- tests/journal/oracle/control.0.res.oracle 1 addition, 1 deletiontests/journal/oracle/control.0.res.oracle
- tests/journal/oracle/control.1.res.oracle 2 additions, 2 deletionstests/journal/oracle/control.1.res.oracle
- tests/journal/oracle/control2.res.oracle 1 addition, 1 deletiontests/journal/oracle/control2.res.oracle
- tests/journal/oracle/control2_sav.res 1 addition, 1 deletiontests/journal/oracle/control2_sav.res
- tests/journal/oracle/intra.res.oracle 1 addition, 1 deletiontests/journal/oracle/intra.res.oracle
- tests/metrics/oracle/func_ptr.0.res.oracle 1 addition, 1 deletiontests/metrics/oracle/func_ptr.0.res.oracle
- tests/metrics/oracle/func_ptr.1.res.oracle 1 addition, 1 deletiontests/metrics/oracle/func_ptr.1.res.oracle
- tests/metrics/oracle/libc.0.res.oracle 1 addition, 1 deletiontests/metrics/oracle/libc.0.res.oracle
- tests/metrics/oracle/libc.1.res.oracle 1 addition, 1 deletiontests/metrics/oracle/libc.1.res.oracle
- tests/metrics/oracle/reach.res.oracle 1 addition, 1 deletiontests/metrics/oracle/reach.res.oracle
- tests/metrics/oracle/unreachable.res.oracle 2 additions, 2 deletionstests/metrics/oracle/unreachable.res.oracle
- tests/misc/oracle/bts1201.res.oracle 2 additions, 2 deletionstests/misc/oracle/bts1201.res.oracle
- tests/saveload/oracle/callbacks_initial.res 1 addition, 1 deletiontests/saveload/oracle/callbacks_initial.res
- tests/syntax/oracle/loop-case-switch-for-unroll.0.res.oracle 1 addition, 1 deletiontests/syntax/oracle/loop-case-switch-for-unroll.0.res.oracle
- tests/syntax/oracle/loop-case-switch-for-unroll.1.res.oracle 1 addition, 1 deletiontests/syntax/oracle/loop-case-switch-for-unroll.1.res.oracle
- tests/syntax/oracle/loop-case-switch-for-unroll.2.res.oracle 1 addition, 1 deletiontests/syntax/oracle/loop-case-switch-for-unroll.2.res.oracle
- tests/value/oracle/summary.0.res.oracle 1 addition, 1 deletiontests/value/oracle/summary.0.res.oracle
Loading
Please register or sign in to comment