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

src/plugins/e-acsl/tests/builtin/oracle_ci/gen_strcmp.c

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

src/plugins/e-acsl/tests/builtin/oracle_ci/gen_strlen.c

src/plugins/e-acsl/tests/builtin/oracle_ci/strcat.res.oracle

src/plugins/e-acsl/tests/builtin/oracle_ci/strcmp.res.oracle

src/plugins/e-acsl/tests/builtin/oracle_ci/strcpy.res.oracle

src/plugins/e-acsl/tests/builtin/oracle_ci/strlen.res.oracle

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

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

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

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