diff --git a/tests/float/linear_filter_test.i b/tests/float/linear_filter_test.i
new file mode 100644
index 0000000000000000000000000000000000000000..7cb38611d3a0c2ae466b20e6ee7bf17f9b0836d9
--- /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 0000000000000000000000000000000000000000..6a356eaf372aa262e98c6934c86ba83b76836ec6
--- /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 0000000000000000000000000000000000000000..9fb7d2ecaffbc725d0c81ac1d3a5e96fdda2ed18
--- /dev/null
+++ b/tests/float/oracle/linear_filter_test.res.oracle
@@ -0,0 +1 @@
+[kernel] Parsing linear_filter_test.i (no preprocessing)