[eacsl] Update tests

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

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

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

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

...ns/e-acsl/tests/constructs/oracle/gen_function_contract.c

src/plugins/e-acsl/tests/constructs/oracle/gen_rte.c

...lugins/e-acsl/tests/constructs/oracle/gen_stmt_contract.c

src/plugins/e-acsl/tests/examples/oracle/gen_linear_search.c

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

src/plugins/e-acsl/tests/memory/oracle/gen_ctype_macros.c

src/plugins/e-acsl/tests/special/oracle/gen_e-acsl-valid.c