From 5bccb55745dacd1ecb1bf5c2979f79e6935604b1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 3 Dec 2024 14:56:46 +0100
Subject: [PATCH] [eva] fix NaN with empty range

---
 src/plugins/eva/utils/export.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/eva/utils/export.ml b/src/plugins/eva/utils/export.ml
index 6154a0f4455..bcd9a85c895 100644
--- a/src/plugins/eva/utils/export.ml
+++ b/src/plugins/eva/utils/export.ml
@@ -131,7 +131,7 @@ let fmax ~kind (exp : Exp.exp) (b : Fval.F.t) : pred =
   else True
 
 let frange ~kind (exp : Exp.exp) = function
-  | None -> True
+  | None -> False
   | Some(a,b) -> pand (fmin ~kind exp a) (fmax ~kind exp b)
 
 let fval typ (exp : Exp.exp) (fval : Fval.t) : pred =
-- 
GitLab