From df3d64bae9e86d48eed3ea5f1b90703ab6b2c0aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 14 Apr 2023 10:58:17 +0200
Subject: [PATCH] [Server] States: fixes synchronization bug with Eva
computation state.
On very small programs, the Eva analysis may end before the computation hook
is registered, and ivette is never notified that the analysis has been computed.
Sending the corresponding signal when the hook is registered ensures the
synchronization of the given value/state/array at the start.
---
src/plugins/server/states.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/server/states.ml b/src/plugins/server/states.ml
index 005896b6ed5..d5adfb78477 100644
--- a/src/plugins/server/states.ml
+++ b/src/plugins/server/states.ml
@@ -33,6 +33,7 @@ let install signal hook = function
begin
once := false ;
add_hook hook ;
+ Request.emit signal ;
end
in Request.on_signal signal install
--
GitLab