Skip to content
Snippets Groups Projects
Commit a1a021df authored by erwan's avatar erwan
Browse files

fix: wrong information was displayed when run under rdbg with internal deamons

parent 446df4e5
No related branches found
No related tags found
No related merge requests found
Pipeline #84336 passed
Stage: build
    Stage: release
      Hide whitespace changes
      Inline Side-by-side
      Showing
      with 2 additions and 2 deletions
      lib/sasa/sasaRun.ml
      + 2
      − 2
      View file @ a1a021df
      ...@@ -147,8 +147,8 @@ let (make_do: string array -> 'v SimuState.t -> RdbgPlugin.t) = ...@@ -147,8 +147,8 @@ let (make_do: string array -> 'v SimuState.t -> RdbgPlugin.t) =
      (get_action_value sl_in) Step.f (get_action_value sl_in) Step.f
      in in
      (* 3: Do the steps *) (* 3: Do the steps *)
      let st = Sasacore.Step.f pnal st in let nst = Sasacore.Step.f pnal st in
      sasa_config := st.config; sasa_config := nst.config;
      ("silent", Data.B silent)::("legitimate", Data.B legit)::pot_sl @ ("silent", Data.B silent)::("legitimate", Data.B legit)::pot_sl @
      (from_sasa_env st) @ (get_sl_out true pl enab_ll) @ (from_sasa_env st) @ (get_sl_out true pl enab_ll) @
      (get_sl_out false pl activate_val) (get_sl_out false pl activate_val)
      ......
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment