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

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

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

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

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

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

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

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

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

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

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_at.c

src/plugins/e-acsl/tests/gmp/oracle/gen_at2.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_not2.c

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

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