Merge branch 'bugfix/basile/eacsl-117-generated-func-in-tests' into 'master'
[eacsl] Update `tests/print.ml` script to ouptut E-ACSL generated globals Closes e-acsl#117 See merge request frama-c/frama-c!2653
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/E_ACSL.mli 8 additions, 0 deletionssrc/plugins/e-acsl/E_ACSL.mli
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2192.c 28 additions, 0 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2192.c
- src/plugins/e-acsl/tests/format/oracle_ci/gen_fprintf.c 166 additions, 0 deletionssrc/plugins/e-acsl/tests/format/oracle_ci/gen_fprintf.c
- src/plugins/e-acsl/tests/memory/oracle_ci/gen_ctype_macros.c 92 additions, 0 deletionssrc/plugins/e-acsl/tests/memory/oracle_ci/gen_ctype_macros.c
- src/plugins/e-acsl/tests/memory/oracle_ci/gen_mainargs.c 21 additions, 0 deletionssrc/plugins/e-acsl/tests/memory/oracle_ci/gen_mainargs.c
- src/plugins/e-acsl/tests/print.ml 16 additions, 1 deletionsrc/plugins/e-acsl/tests/print.ml
- src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_getenv.c 42 additions, 0 deletionssrc/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_getenv.c
- src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_memcpy.c 88 additions, 0 deletionssrc/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_memcpy.c
Loading
Please register or sign in to comment