src/plugins/e-acsl/tests/bts/oracle/gen_bts1395.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_bts1740.c

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

src/plugins/e-acsl/tests/bts/oracle/gen_bts2192.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/runtime/oracle/gen_early_exit.c

src/plugins/e-acsl/tests/runtime/oracle/gen_labeled_stmt.c

src/plugins/e-acsl/tests/runtime/oracle/gen_local_goto.c