From 5d519f7c98d09e1da0b65440d8f69b6338a2c89b Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 9 Feb 2024 10:23:59 +0100
Subject: [PATCH] fix: static args were missing in the generated oracles

---
 lib/sasacore/genOracle.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/sasacore/genOracle.ml b/lib/sasacore/genOracle.ml
index 936a7b24..71d96186 100644
--- a/lib/sasacore/genOracle.ml
+++ b/lib/sasacore/genOracle.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 10/07/2023 (at 10:57) by Erwan Jahier> *)
+(* Time-stamp: <modified the 09/02/2024 (at 10:07) by Erwan Jahier> *)
 
 open Process
 
@@ -118,7 +118,7 @@ node oracle(legitimate:bool;%s%s) \nreturns (ok:bool);
 var
   %slet
   %s  %s  %s
-  ok = %s_oracle(legitimate,%s Enab, Acti, Config, round, round_nb);
+  ok = %s_oracle<<an,pn>>(legitimate,%s Enab, Acti, Config, round, round_nb);
 tel
 
 
-- 
GitLab