From f64b4c6a98cfa70f380b823546a67b44655e81a1 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 20 Apr 2023 16:07:56 +0200
Subject: [PATCH] [tests] Fix constant pi value.

---
 tests/interpretation_acasxu.t | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/interpretation_acasxu.t b/tests/interpretation_acasxu.t
index 64a36be..daac6bf 100644
--- a/tests/interpretation_acasxu.t
+++ b/tests/interpretation_acasxu.t
@@ -33,7 +33,7 @@ Test interpret on acasxu
   >   constant strong_left: action = 3
   >   constant strong_right: action = 4
   > 
-  >   constant pi: t = 3.141592999999999857863031138549558818340301513671875
+  >   constant pi: t = 3.141592653589793115997963468544185161590576171875000
   > 
   >   predicate valid_input (i: input) =
   >     (0.0:t) .<= i[distance_to_intruder] .<= (60760.0:t)
-- 
GitLab