[eacsl:tests] Update tests oracles

src/plugins/e-acsl/tests/bts/oracle_ci/bts1307.res.oracle

src/plugins/e-acsl/tests/bts/oracle_ci/bts1324.res.oracle

src/plugins/e-acsl/tests/bts/oracle_ci/bts1390.res.oracle

src/plugins/e-acsl/tests/bts/oracle_ci/bts2192.res.oracle

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

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

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

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

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

...e-acsl/tests/constructs/oracle_ci/gen_function_contract.c

...ins/e-acsl/tests/constructs/oracle_ci/gen_stmt_contract.c

...-acsl/tests/constructs/oracle_ci/stmt_contract.res.oracle

...ugins/e-acsl/tests/examples/oracle_ci/gen_linear_search.c

.../e-acsl/tests/examples/oracle_ci/linear_search.res.oracle

src/plugins/e-acsl/tests/format/oracle_ci/fprintf.res.oracle

src/plugins/e-acsl/tests/format/oracle_ci/gen_fprintf.c

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

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

...ins/e-acsl/tests/memory/oracle_ci/ctype_macros.res.oracle

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