[eacsl] Update tests to register data for the assertions

src/plugins/e-acsl/tests/arith/oracle/arith.res.oracle

src/plugins/e-acsl/tests/arith/oracle/array.res.oracle

src/plugins/e-acsl/tests/arith/oracle/at.res.oracle

...ests/arith/oracle/at_on-purely-logic-variables.res.oracle

src/plugins/e-acsl/tests/arith/oracle/bitwise.res.oracle

src/plugins/e-acsl/tests/arith/oracle/cast.res.oracle

src/plugins/e-acsl/tests/arith/oracle/comparison.res.oracle

...e-acsl/tests/arith/oracle/extended_quantifiers.res.oracle

src/plugins/e-acsl/tests/arith/oracle/functions.res.oracle

...lugins/e-acsl/tests/arith/oracle/functions_rec.res.oracle

src/plugins/e-acsl/tests/arith/oracle/gen_arith.c

src/plugins/e-acsl/tests/arith/oracle/gen_array.c

src/plugins/e-acsl/tests/arith/oracle/gen_at.c

...csl/tests/arith/oracle/gen_at_on-purely-logic-variables.c

src/plugins/e-acsl/tests/arith/oracle/gen_bitwise.c

src/plugins/e-acsl/tests/arith/oracle/gen_cast.c

src/plugins/e-acsl/tests/arith/oracle/gen_comparison.c

...gins/e-acsl/tests/arith/oracle/gen_extended_quantifiers.c

src/plugins/e-acsl/tests/arith/oracle/gen_functions.c

src/plugins/e-acsl/tests/arith/oracle/gen_functions_rec.c