From 17044964457dd73d2f316d7881f1d2d25e623d5c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 24 Mar 2022 15:54:51 +0100
Subject: [PATCH] [Eva] Signals information has been updated when the
computation state changes.
---
src/plugins/value/api/general_requests.ml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/plugins/value/api/general_requests.ml b/src/plugins/value/api/general_requests.ml
index 6fce12a3e94..8c509d94840 100644
--- a/src/plugins/value/api/general_requests.ml
+++ b/src/plugins/value/api/general_requests.ml
@@ -168,6 +168,10 @@ let () =
~enable:Analysis.is_computed
print_value
+let () =
+ Analysis.register_computation_hook
+ (fun _ -> Server.Kernel_ast.Information.update ())
+
(* ----- Red and tainted alarms --------------------------------------------- *)
module Taint = struct
--
GitLab