"src/plugins/e-acsl/tests/bts/oracle/gen_bts1718.c" did not exist on "675f630ffb14034b71ab8b821407d7859d8b29f5"
Merge branch 'feature/eva/improve-test-coverage' into 'master'
[Eva] Improve test coverage See merge request frama-c/frama-c!4297
No related branches found
No related tags found
Showing
- src/kernel_internals/runtime/special_hooks.ml 8 additions, 8 deletionssrc/kernel_internals/runtime/special_hooks.ml
- src/plugins/eva/Eva.mli 0 additions, 3 deletionssrc/plugins/eva/Eva.mli
- src/plugins/eva/engine/recursion.ml 0 additions, 40 deletionssrc/plugins/eva/engine/recursion.ml
- src/plugins/eva/gui/gui_types.ml 1 addition, 1 deletionsrc/plugins/eva/gui/gui_types.ml
- src/plugins/eva/legacy/eval_terms.ml 0 additions, 25 deletionssrc/plugins/eva/legacy/eval_terms.ml
- src/plugins/eva/legacy/eval_terms.mli 0 additions, 1 deletionsrc/plugins/eva/legacy/eval_terms.mli
- src/plugins/eva/types/assigns.ml 7 additions, 15 deletionssrc/plugins/eva/types/assigns.ml
- src/plugins/eva/types/assigns.mli 0 additions, 3 deletionssrc/plugins/eva/types/assigns.mli
- src/plugins/eva/utils/eval_typ.ml 0 additions, 8 deletionssrc/plugins/eva/utils/eval_typ.ml
- src/plugins/eva/utils/eval_typ.mli 0 additions, 3 deletionssrc/plugins/eva/utils/eval_typ.mli
- src/plugins/from/from_memory.ml 0 additions, 6 deletionssrc/plugins/from/from_memory.ml
- src/plugins/inout/operational_inputs.ml 1 addition, 1 deletionsrc/plugins/inout/operational_inputs.ml
- tests/builtins/oracle_bitwise/allocated.0.res.oracle 0 additions, 0 deletionstests/builtins/oracle_bitwise/allocated.0.res.oracle
- tests/builtins/oracle_bitwise/allocated.1.res.oracle 0 additions, 0 deletionstests/builtins/oracle_bitwise/allocated.1.res.oracle
- tests/builtins/oracle_bitwise/malloc-optimistic.res.oracle 0 additions, 0 deletionstests/builtins/oracle_bitwise/malloc-optimistic.res.oracle
- tests/value/clean_abort.i 55 additions, 0 deletionstests/value/clean_abort.i
- tests/value/domains.i 43 additions, 14 deletionstests/value/domains.i
- tests/value/oracle/clean_abort.res.oracle 62 additions, 0 deletionstests/value/oracle/clean_abort.res.oracle
- tests/value/oracle/clean_abort_sav.res 27 additions, 0 deletionstests/value/oracle/clean_abort_sav.res
- tests/value/oracle/domains.res.oracle 145 additions, 7 deletionstests/value/oracle/domains.res.oracle
Loading
Please register or sign in to comment