diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-22 08:47:23 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-22 08:47:23 +0200 |
| commit | 2db4b6967b367982515fa6b731abbd549cc5720e (patch) | |
| tree | d3f088d03a483db3fe21b8ccfc7398cdf201525c /lib/automata.py | |
| parent | 9372ca24757ebd5dbd7ba5ae8b49472f2c2ce521 (diff) | |
automata: Add set_param support in YAML files
Diffstat (limited to 'lib/automata.py')
| -rwxr-xr-x | lib/automata.py | 2 |
1 files changed, 2 insertions, 0 deletions
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: |