src/plugins/e-acsl/tests/bts/oracle/gen_bts1395.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts2231.c

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

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

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

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

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

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

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

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

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

src/plugins/e-acsl/tests/gmp/oracle/gen_arith2.c

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

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

src/plugins/e-acsl/tests/gmp/oracle/gen_integer_constant.c

src/plugins/e-acsl/tests/gmp/oracle/gen_integer_constant2.c

src/plugins/e-acsl/tests/gmp/oracle/gen_not.c

src/plugins/e-acsl/tests/gmp/oracle/gen_not2.c

...ins/e-acsl/tests/gmp/oracle/integer_constant.0.res.oracle

...ins/e-acsl/tests/gmp/oracle/integer_constant.1.res.oracle