[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

@@ -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
 

tests/float/oracle/linear_filter_test.res.oracle

 [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]