Merge branch 'jan/eacsl-currentloc' into 'master'
[e-acsl] Use new Current_loc API in E-ACSL Closes #1382 See merge request frama-c/frama-c!4802
Showing
- src/plugins/e-acsl/src/analyses/bound_variables.ml 2 additions, 1 deletionsrc/plugins/e-acsl/src/analyses/bound_variables.ml
- src/plugins/e-acsl/src/analyses/memory_tracking.ml 2 additions, 1 deletionsrc/plugins/e-acsl/src/analyses/memory_tracking.ml
- src/plugins/e-acsl/src/analyses/typing.ml 4 additions, 2 deletionssrc/plugins/e-acsl/src/analyses/typing.ml
- src/plugins/e-acsl/src/code_generator/contract.ml 11 additions, 10 deletionssrc/plugins/e-acsl/src/code_generator/contract.ml
- src/plugins/e-acsl/src/code_generator/injector.ml 3 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/injector.ml
- src/plugins/e-acsl/src/code_generator/loops.ml 2 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/loops.ml
- src/plugins/e-acsl/src/code_generator/translate_annots.ml 4 additions, 1 deletionsrc/plugins/e-acsl/src/code_generator/translate_annots.ml
- src/plugins/e-acsl/src/code_generator/translate_ats.ml 5 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/translate_ats.ml
- src/plugins/e-acsl/src/code_generator/translate_predicates.ml 4 additions, 1 deletion...plugins/e-acsl/src/code_generator/translate_predicates.ml
- src/plugins/e-acsl/src/code_generator/translate_terms.ml 2 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/translate_terms.ml
- src/plugins/e-acsl/src/libraries/error.ml 28 additions, 18 deletionssrc/plugins/e-acsl/src/libraries/error.ml
- src/plugins/e-acsl/src/libraries/error.mli 9 additions, 9 deletionssrc/plugins/e-acsl/src/libraries/error.mli
- src/plugins/e-acsl/tests/bts/oracle/issue-eacsl-40.res.oracle 0 additions, 4 deletions...plugins/e-acsl/tests/bts/oracle/issue-eacsl-40.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle 0 additions, 3 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle 0 additions, 6 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle 0 additions, 6 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle 0 additions, 6 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/parallel_threads.res.oracle 0 additions, 6 deletions...acsl/tests/concurrency/oracle/parallel_threads.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/sequential_threads.res.oracle 0 additions, 6 deletions...sl/tests/concurrency/oracle/sequential_threads.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/threads_debug.res.oracle 0 additions, 6 deletions.../e-acsl/tests/concurrency/oracle/threads_debug.res.oracle
Loading
Please register or sign in to comment