...lugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h

src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h

src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h

src/plugins/e-acsl/tests/bts/oracle/gen_bts1304.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1324.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1326.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1399.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1478.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1700.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1717.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1718.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_call.c

...l/tests/e-acsl-runtime/oracle/gen_compound_initializers.c

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_ghost.c