src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/tests/bts/oracle/bts2252.res.oracle

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

src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c

src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c

...ins/e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log

...ins/e-acsl/tests/builtin/oracle_dev/strcpy.e-acsl.err.log

src/plugins/e-acsl/tests/builtin/strcat.c

src/plugins/e-acsl/tests/builtin/strcpy.c

src/plugins/e-acsl/tests/format/oracle/gen_printf.c

src/plugins/e-acsl/tests/format/oracle/gen_sprintf.c

src/plugins/e-acsl/tests/format/oracle/printf.res.oracle

src/plugins/e-acsl/tests/format/oracle/sprintf.res.oracle

...gins/e-acsl/tests/format/oracle_dev/printf.e-acsl.err.log

...ins/e-acsl/tests/format/oracle_dev/sprintf.e-acsl.err.log

src/plugins/e-acsl/tests/format/sprintf.c

src/plugins/e-acsl/tests/libc/file.c

src/plugins/e-acsl/tests/libc/mem.c

src/plugins/e-acsl/tests/libc/oracle/file.res.oracle

src/plugins/e-acsl/tests/libc/oracle/gen_file.c