Merge branch 'bugfix/basile/eacsl-145-return-in-globals-clean' into 'master'
[eacsl] Fix `__e_acsl_globals_clean()` Closes e-acsl#145 See merge request frama-c/frama-c!3068
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/src/code_generator/global_observer.ml 18 additions, 14 deletionssrc/plugins/e-acsl/src/code_generator/global_observer.ml
- src/plugins/e-acsl/src/code_generator/global_observer.mli 2 additions, 2 deletionssrc/plugins/e-acsl/src/code_generator/global_observer.mli
- src/plugins/e-acsl/src/code_generator/injector.ml 19 additions, 13 deletionssrc/plugins/e-acsl/src/code_generator/injector.ml
- src/plugins/e-acsl/tests/bts/issue-eacsl-145.c 12 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/issue-eacsl-145.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1386_complex_flowgraph.c 1 addition, 0 deletions...-acsl/tests/bts/oracle_ci/gen_bts1386_complex_flowgraph.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1478.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1478.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1837.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1837.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2191.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2191.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2192.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2192.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2305.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2305.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2406.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2406.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_issue-eacsl-145.c 42 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_issue-eacsl-145.c
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_issue-eacsl-91.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_issue-eacsl-91.c
- src/plugins/e-acsl/tests/bts/oracle_ci/issue-eacsl-145.res.oracle 39 additions, 0 deletions...ins/e-acsl/tests/bts/oracle_ci/issue-eacsl-145.res.oracle
- src/plugins/e-acsl/tests/bts/oracle_dev/issue-eacsl-145.e-acsl.err.log 0 additions, 0 deletions...-acsl/tests/bts/oracle_dev/issue-eacsl-145.e-acsl.err.log
- src/plugins/e-acsl/tests/constructs/oracle_ci/gen_ghost.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/constructs/oracle_ci/gen_ghost.c
- src/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c
- src/plugins/e-acsl/tests/full-mtracking/oracle_ci/gen_addrOf.c 1 addition, 0 deletions...lugins/e-acsl/tests/full-mtracking/oracle_ci/gen_addrOf.c
- src/plugins/e-acsl/tests/memory/oracle_ci/gen_base_addr.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/memory/oracle_ci/gen_base_addr.c
- src/plugins/e-acsl/tests/memory/oracle_ci/gen_block_length.c 1 addition, 0 deletionssrc/plugins/e-acsl/tests/memory/oracle_ci/gen_block_length.c
Loading
Please register or sign in to comment