From 2aef6cb60bc4d84b1feae20050445f43bd95812b Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 30 Mar 2022 14:39:45 +0200
Subject: [PATCH] [tests] clean files

---
 tests/meta-deduce/oracle/dune |  7 -------
 tests/meta-wp/oracle/dune     | 25 -------------------------
 tests/meta/oracle/dune        | 33 ---------------------------------
 3 files changed, 65 deletions(-)
 delete mode 100644 tests/meta-deduce/oracle/dune
 delete mode 100644 tests/meta-wp/oracle/dune
 delete mode 100644 tests/meta/oracle/dune

diff --git a/tests/meta-deduce/oracle/dune b/tests/meta-deduce/oracle/dune
deleted file mode 100644
index ee6d209..0000000
--- 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 56e01e8..0000000
--- 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 aa89c33..0000000
--- 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" "")))
-
-- 
GitLab