From 2db4b6967b367982515fa6b731abbd549cc5720e Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Mon, 22 Jul 2019 08:47:23 +0200 Subject: automata: Add set_param support in YAML files --- lib/automata.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/automata.py b/lib/automata.py index a6b37af..8a0357a 100755 --- a/lib/automata.py +++ b/lib/automata.py @@ -405,6 +405,8 @@ class PTA: arg_to_param_map[argument['parameter']] = i if 'argument_combination' in transition: kwargs['argument_combination'] = transition['argument_combination'] + if 'set_param' in transition: + kwargs['set_param'] = transition['set_param'] if 'is_interrupt' in transition: kwargs['is_interrupt'] = transition['is_interrupt'] if not 'src' in transition: -- cgit v1.2.3