Merge branch 'stable/sulfur'

src/plugins/e-acsl/Makefile.in

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

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

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

src/plugins/e-acsl/tests/gmp/oracle/longlong.0.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/longlong.1.res.oracle

src/plugins/e-acsl/tests/no-main/oracle/empty.res.oracle

src/plugins/e-acsl/tests/reject/oracle/quantif.res.oracle

...ugins/e-acsl/tests/runtime/oracle/ctype_macros.res.oracle

...plugins/e-acsl/tests/runtime/oracle/early_exit.res.oracle

...gins/e-acsl/tests/runtime/oracle/hidden_malloc.res.oracle

...plugins/e-acsl/tests/runtime/oracle/local_goto.res.oracle

src/plugins/e-acsl/tests/runtime/oracle/loop.res.oracle

src/plugins/e-acsl/tests/runtime/oracle/mainargs.res.oracle

src/plugins/e-acsl/tests/runtime/oracle/valid.res.oracle

...lugins/e-acsl/tests/runtime/oracle/valid_alias.res.oracle

src/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle

...ins/e-acsl/tests/temporal/oracle/t_malloc-asan.res.oracle

src/plugins/e-acsl/tests/temporal/oracle/t_memcpy.res.oracle