diff --git a/tests/meta-deduce/oracle/dune b/tests/meta-deduce/oracle/dune
deleted file mode 100644
index ee6d20952c26974e19cf3dbed7c0ad1a2d122308..0000000000000000000000000000000000000000
--- a/tests/meta-deduce/oracle/dune
+++ /dev/null
@@ -1,7 +0,0 @@
-(rule (target "deduction_with_offset.err.oracle") (mode fallback) (action (write-file "deduction_with_offset.err.oracle" "")))
-(rule (target "deduction_with_offset.res.oracle") (mode fallback) (action (write-file "deduction_with_offset.res.oracle" "")))
-(rule (target "negative_assigns.err.oracle") (mode fallback) (action (write-file "negative_assigns.err.oracle" "")))
-(rule (target "negative_assigns.res.oracle") (mode fallback) (action (write-file "negative_assigns.res.oracle" "")))
-(rule (target "consequence.err.oracle") (mode fallback) (action (write-file "consequence.err.oracle" "")))
-(rule (target "consequence.res.oracle") (mode fallback) (action (write-file "consequence.res.oracle" "")))
-
diff --git a/tests/meta-wp/oracle/dune b/tests/meta-wp/oracle/dune
deleted file mode 100644
index 56e01e805b7b506db303afd13e1329ad9ab42469..0000000000000000000000000000000000000000
--- a/tests/meta-wp/oracle/dune
+++ /dev/null
@@ -1,25 +0,0 @@
-(rule (target "dummy.err.oracle") (mode fallback) (action (write-file "dummy.err.oracle" "")))
-(rule (target "dummy.res.oracle") (mode fallback) (action (write-file "dummy.res.oracle" "")))
-(rule (target "invariant.err.oracle") (mode fallback) (action (write-file "invariant.err.oracle" "")))
-(rule (target "invariant.res.oracle") (mode fallback) (action (write-file "invariant.res.oracle" "")))
-(rule (target "assert_type_of.err.oracle") (mode fallback) (action (write-file "assert_type_of.err.oracle" "")))
-(rule (target "assert_type_of.res.oracle") (mode fallback) (action (write-file "assert_type_of.res.oracle" "")))
-(rule (target "forbidden.err.oracle") (mode fallback) (action (write-file "forbidden.err.oracle" "")))
-(rule (target "forbidden.res.oracle") (mode fallback) (action (write-file "forbidden.res.oracle" "")))
-(rule (target "monotony.err.oracle") (mode fallback) (action (write-file "monotony.err.oracle" "")))
-(rule (target "monotony.res.oracle") (mode fallback) (action (write-file "monotony.res.oracle" "")))
-(rule (target "loop_invariant.err.oracle") (mode fallback) (action (write-file "loop_invariant.err.oracle" "")))
-(rule (target "loop_invariant.res.oracle") (mode fallback) (action (write-file "loop_invariant.res.oracle" "")))
-(rule (target "axiomatic_requires.err.oracle") (mode fallback) (action (write-file "axiomatic_requires.err.oracle" "")))
-(rule (target "axiomatic_requires.res.oracle") (mode fallback) (action (write-file "axiomatic_requires.res.oracle" "")))
-(rule (target "uncalled.err.oracle") (mode fallback) (action (write-file "uncalled.err.oracle" "")))
-(rule (target "uncalled.res.oracle") (mode fallback) (action (write-file "uncalled.res.oracle" "")))
-(rule (target "typing.err.oracle") (mode fallback) (action (write-file "typing.err.oracle" "")))
-(rule (target "typing.res.oracle") (mode fallback) (action (write-file "typing.res.oracle" "")))
-(rule (target "options.0.err.oracle") (mode fallback) (action (write-file "options.0.err.oracle" "")))
-(rule (target "options.0.res.oracle") (mode fallback) (action (write-file "options.0.res.oracle" "")))
-(rule (target "options.1.err.oracle") (mode fallback) (action (write-file "options.1.err.oracle" "")))
-(rule (target "options.1.res.oracle") (mode fallback) (action (write-file "options.1.res.oracle" "")))
-(rule (target "pre_label.err.oracle") (mode fallback) (action (write-file "pre_label.err.oracle" "")))
-(rule (target "pre_label.res.oracle") (mode fallback) (action (write-file "pre_label.res.oracle" "")))
-
diff --git a/tests/meta/oracle/dune b/tests/meta/oracle/dune
deleted file mode 100644
index aa89c338a7f41301aa79688f4cb522e42179d0f7..0000000000000000000000000000000000000000
--- a/tests/meta/oracle/dune
+++ /dev/null
@@ -1,33 +0,0 @@
-(rule (target "quantif.err.oracle") (mode fallback) (action (write-file "quantif.err.oracle" "")))
-(rule (target "quantif.res.oracle") (mode fallback) (action (write-file "quantif.res.oracle" "")))
-(rule (target "unspecified_sequence.err.oracle") (mode fallback) (action (write-file "unspecified_sequence.err.oracle" "")))
-(rule (target "unspecified_sequence.res.oracle") (mode fallback) (action (write-file "unspecified_sequence.res.oracle" "")))
-(rule (target "renaming.err.oracle") (mode fallback) (action (write-file "renaming.err.oracle" "")))
-(rule (target "renaming.res.oracle") (mode fallback) (action (write-file "renaming.res.oracle" "")))
-(rule (target "callees.err.oracle") (mode fallback) (action (write-file "callees.err.oracle" "")))
-(rule (target "callees.res.oracle") (mode fallback) (action (write-file "callees.res.oracle" "")))
-(rule (target "simplify.err.oracle") (mode fallback) (action (write-file "simplify.err.oracle" "")))
-(rule (target "simplify.res.oracle") (mode fallback) (action (write-file "simplify.res.oracle" "")))
-(rule (target "number_assertions.0.err.oracle") (mode fallback) (action (write-file "number_assertions.0.err.oracle" "")))
-(rule (target "number_assertions.0.res.oracle") (mode fallback) (action (write-file "number_assertions.0.res.oracle" "")))
-(rule (target "number_assertions.1.err.oracle") (mode fallback) (action (write-file "number_assertions.1.err.oracle" "")))
-(rule (target "number_assertions.1.res.oracle") (mode fallback) (action (write-file "number_assertions.1.res.oracle" "")))
-(rule (target "called_arg.err.oracle") (mode fallback) (action (write-file "called_arg.err.oracle" "")))
-(rule (target "called_arg.res.oracle") (mode fallback) (action (write-file "called_arg.res.oracle" "")))
-(rule (target "func_meta_var.err.oracle") (mode fallback) (action (write-file "func_meta_var.err.oracle" "")))
-(rule (target "func_meta_var.res.oracle") (mode fallback) (action (write-file "func_meta_var.res.oracle" "")))
-(rule (target "named.err.oracle") (mode fallback) (action (write-file "named.err.oracle" "")))
-(rule (target "named.res.oracle") (mode fallback) (action (write-file "named.res.oracle" "")))
-(rule (target "passthrough.err.oracle") (mode fallback) (action (write-file "passthrough.err.oracle" "")))
-(rule (target "passthrough.res.oracle") (mode fallback) (action (write-file "passthrough.res.oracle" "")))
-(rule (target "read_addrof.err.oracle") (mode fallback) (action (write-file "read_addrof.err.oracle" "")))
-(rule (target "read_addrof.res.oracle") (mode fallback) (action (write-file "read_addrof.res.oracle" "")))
-(rule (target "absent.0.err.oracle") (mode fallback) (action (write-file "absent.0.err.oracle" "")))
-(rule (target "absent.0.res.oracle") (mode fallback) (action (write-file "absent.0.res.oracle" "")))
-(rule (target "absent.1.err.oracle") (mode fallback) (action (write-file "absent.1.err.oracle" "")))
-(rule (target "absent.1.res.oracle") (mode fallback) (action (write-file "absent.1.res.oracle" "")))
-(rule (target "temp_variables.err.oracle") (mode fallback) (action (write-file "temp_variables.err.oracle" "")))
-(rule (target "temp_variables.res.oracle") (mode fallback) (action (write-file "temp_variables.res.oracle" "")))
-(rule (target "bindings_test.err.oracle") (mode fallback) (action (write-file "bindings_test.err.oracle" "")))
-(rule (target "bindings_test.res.oracle") (mode fallback) (action (write-file "bindings_test.res.oracle" "")))
-