[tests] much faster

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/tests/bts/test_config

src/plugins/e-acsl/tests/builtin/test_config

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

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

src/plugins/e-acsl/tests/format/test_config

src/plugins/e-acsl/tests/full-mmodel-only/test_config

...plugins/e-acsl/tests/full-mmodel/oracle/addrOf.res.oracle

src/plugins/e-acsl/tests/full-mmodel/oracle/gen_addrOf.c

src/plugins/e-acsl/tests/full-mmodel/test_config

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

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

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

.../tests/gmp/oracle/at_on-purely-logic-variables.res.oracle

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

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

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

...gins/e-acsl/tests/gmp/oracle/functions_contiki.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/functions_rec.res.oracle

...ugins/e-acsl/tests/gmp/oracle/integer_constant.res.oracle