From fdf8e9b0db1aec048b431e62ed79b5db4e0bf0c7 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Fri, 2 Feb 2024 10:39:42 +0100
Subject: [PATCH] [Kernel] Updating the linear filter module tests
Modified a test to use the filter's center.
---
src/kernel_services/analysis/filter/linear_filter_test.ml | 4 ++--
tests/float/oracle/linear_filter_test.res.oracle | 8 ++++++--
2 files changed, 8 insertions(+), 4 deletions(-)
diff --git a/src/kernel_services/analysis/filter/linear_filter_test.ml b/src/kernel_services/analysis/filter/linear_filter_test.ml
index a6c6d12f0c1..6634aef53e7 100644
--- a/src/kernel_services/analysis/filter/linear_filter_test.ml
+++ b/src/kernel_services/analysis/filter/linear_filter_test.ml
@@ -98,7 +98,7 @@ module Circle = struct
let center = Linear.Vector.zero order
let compute () =
- let filter = Filter.create state input center measure in
+ let filter = Filter.create ~state ~input ~center ~measure in
let invariant = Filter.invariant filter max_exponent in
Kernel.result "@[<v>Circle :@,%a@,@]" (pretty_invariant order) invariant
@@ -128,7 +128,7 @@ module Simple = struct
let center = Linear.Vector.repeat Rational.one order
let compute () =
- let filter = Filter.create state input center measure in
+ let filter = Filter.create ~state ~input ~center ~measure in
let invariant = Filter.invariant filter max_exponent in
Kernel.result "@[<v>Simple :@,%a@,@]" (pretty_invariant order) invariant
diff --git a/tests/float/oracle/linear_filter_test.res.oracle b/tests/float/oracle/linear_filter_test.res.oracle
index 27e5f9d3051..f69acd94d65 100644
--- a/tests/float/oracle/linear_filter_test.res.oracle
+++ b/tests/float/oracle/linear_filter_test.res.oracle
@@ -1,3 +1,7 @@
[kernel] Parsing linear_filter_test.i (no preprocessing)
-[kernel] Circle : 31.3829787
-[kernel] Simple : 9.2732747E-1
+[kernel] Circle :
+ * 0 : [-31.3829787 .. 31.3829787]
+ * 1 : [-31.3829787 .. 31.3829787]
+[kernel] Simple :
+ * 0 : [5.7267253E-1 .. 2.4273275]
+ * 1 : [1.5726725 .. 3.4273275]
--
GitLab