Merge branch 'bugfix/basile/reverse-mk-runtime-check' into 'master'
[eacsl] Fix `reverse` parameter of `mk_runtime_check` Closes e-acsl#122 See merge request frama-c/frama-c!2774
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/src/code_generator/constructor.ml 3 additions, 8 deletionssrc/plugins/e-acsl/src/code_generator/constructor.ml
- src/plugins/e-acsl/src/code_generator/constructor.mli 2 additions, 4 deletionssrc/plugins/e-acsl/src/code_generator/constructor.mli
- src/plugins/e-acsl/src/code_generator/loops.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/code_generator/loops.ml
- src/plugins/e-acsl/src/code_generator/mmodel_translate.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/code_generator/mmodel_translate.ml
- src/plugins/e-acsl/src/code_generator/translate.ml 4 additions, 6 deletionssrc/plugins/e-acsl/src/code_generator/translate.ml
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_arith.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_arith.c
- src/plugins/e-acsl/tests/arith/oracle_ci/gen_longlong.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/arith/oracle_ci/gen_longlong.c
- src/plugins/e-acsl/tests/gmp-only/oracle_ci/gen_arith.c 14 additions, 14 deletionssrc/plugins/e-acsl/tests/gmp-only/oracle_ci/gen_arith.c
Loading
Please register or sign in to comment