From ef7261d51a4ac0497cb5f2064d2a5ddecdbcdc3e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 30 Jan 2024 16:00:27 +0100
Subject: [PATCH] [Kernel] Adds test skeleton of module Linear_filter.

---
 tests/float/linear_filter_test.i                 | 7 +++++++
 tests/float/linear_filter_test.ml                | 7 +++++++
 tests/float/oracle/linear_filter_test.res.oracle | 1 +
 3 files changed, 15 insertions(+)
 create mode 100644 tests/float/linear_filter_test.i
 create mode 100644 tests/float/linear_filter_test.ml
 create mode 100644 tests/float/oracle/linear_filter_test.res.oracle

diff --git a/tests/float/linear_filter_test.i b/tests/float/linear_filter_test.i
new file mode 100644
index 00000000000..7cb38611d3a
--- /dev/null
+++ b/tests/float/linear_filter_test.i
@@ -0,0 +1,7 @@
+/* run.config
+   MODULE: @PTEST_NAME@
+   OPT:
+*/
+/* run.config*
+   DONTRUN:
+*/
diff --git a/tests/float/linear_filter_test.ml b/tests/float/linear_filter_test.ml
new file mode 100644
index 00000000000..6a356eaf372
--- /dev/null
+++ b/tests/float/linear_filter_test.ml
@@ -0,0 +1,7 @@
+(* Programmatic tests of the invariant computation of linear filters by the
+   module Linear_filter. Run by linear_filter_test.i. *)
+
+let main _ =
+  ()
+
+let () = Db.Main.extend main
diff --git a/tests/float/oracle/linear_filter_test.res.oracle b/tests/float/oracle/linear_filter_test.res.oracle
new file mode 100644
index 00000000000..9fb7d2ecaff
--- /dev/null
+++ b/tests/float/oracle/linear_filter_test.res.oracle
@@ -0,0 +1 @@
+[kernel] Parsing linear_filter_test.i (no preprocessing)
-- 
GitLab