From a1a021df45018aadba683bf3cfc7a52a84dae6cb Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 17 Dec 2021 10:53:09 +0100
Subject: [PATCH] fix: wrong information was displayed when run under rdbg with
internal deamons
---
lib/sasa/sasaRun.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/lib/sasa/sasaRun.ml b/lib/sasa/sasaRun.ml
index 441686aa..4a25a3f2 100644
--- a/lib/sasa/sasaRun.ml
+++ b/lib/sasa/sasaRun.ml
@@ -147,8 +147,8 @@ let (make_do: string array -> 'v SimuState.t -> RdbgPlugin.t) =
(get_action_value sl_in) Step.f
in
(* 3: Do the steps *)
- let st = Sasacore.Step.f pnal st in
- sasa_config := st.config;
+ let nst = Sasacore.Step.f pnal st in
+ sasa_config := nst.config;
("silent", Data.B silent)::("legitimate", Data.B legit)::pot_sl @
(from_sasa_env st) @ (get_sl_out true pl enab_ll) @
(get_sl_out false pl activate_val)
--
GitLab