[tests] gmp-only

src/plugins/e-acsl/Makefile.in

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

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

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

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

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

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

...ts/arith/oracle/at_on-purely-logic-variables.0.res.oracle

...ts/arith/oracle/at_on-purely-logic-variables.1.res.oracle

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

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

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

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

...gins/e-acsl/tests/arith/oracle/functions_rec.0.res.oracle

...gins/e-acsl/tests/arith/oracle/functions_rec.1.res.oracle

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

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

...sl/tests/arith/oracle/gen_at_on-purely-logic-variables2.c

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

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