From 0fa24f119edc4c9a287e68149af1b5f32570393c Mon Sep 17 00:00:00 2001 From: Franck Dary <franck.dary@lis-lab.fr> Date: Mon, 24 May 2021 08:14:00 +0200 Subject: [PATCH] Added missing argument --- Decode.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Decode.py b/Decode.py index 9198e4d..661ed90 100644 --- a/Decode.py +++ b/Decode.py @@ -40,7 +40,7 @@ def oracleDecode(ts, strat, config, debug=False) : print(str(candidates)+"\n"+("-"*80)+"\n", file=sys.stderr) moved = applyTransition(ts, strat, config, candidate, 0.) - EOS.apply(config) + EOS.apply(config, strat) ################################################################################ ################################################################################ -- GitLab