From 0b594fb9a289d2ff61fcab032385f8c948baaba7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 28 May 2024 11:08:42 +0200
Subject: [PATCH] [Eva] Fixes evaluation: do not use Alarmset.all when no alarm
should be emitted.
---
src/plugins/eva/engine/evaluation.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/eva/engine/evaluation.ml b/src/plugins/eva/engine/evaluation.ml
index 91553023c4f..b3502d989e0 100644
--- a/src/plugins/eva/engine/evaluation.ml
+++ b/src/plugins/eva/engine/evaluation.ml
@@ -1520,7 +1520,7 @@ module Make
let copy_lvalue ?(valuation=Cache.empty) ?subdivnb state lval =
let open Evaluated.Operators in
let expr = Eva_utils.lval_to_exp lval in
- let* env = root_environment ?subdivnb state, Alarmset.all in
+ let* env = root_environment ?subdivnb state, Alarmset.none in
try
let record, report = Cache.find' valuation expr in
if less_fuel_than env.remaining_fuel report.fuel
--
GitLab