Merge branch 'feature/julien/tests' into 'master'

src/plugins/e-acsl/.gitignore

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/known_bugs/decl_in_switch.c

src/plugins/e-acsl/known_bugs/let-alias.c

src/plugins/e-acsl/scripts/testrun.sh

src/plugins/e-acsl/tests/arith/arith.i

src/plugins/e-acsl/tests/arith/array.i

src/plugins/e-acsl/tests/arith/at.i

...plugins/e-acsl/tests/arith/at_on-purely-logic-variables.c

src/plugins/e-acsl/tests/arith/cast.i

src/plugins/e-acsl/tests/arith/comparison.i

src/plugins/e-acsl/tests/arith/functions.c

src/plugins/e-acsl/tests/arith/functions_rec.c

src/plugins/e-acsl/tests/arith/integer_constant.i

src/plugins/e-acsl/tests/arith/let.c

src/plugins/e-acsl/tests/arith/longlong.i

src/plugins/e-acsl/tests/arith/not.i

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

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

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