From 0d4dac662b89bac9624337f851f448516a14f6fc Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Wed, 25 Sep 2019 15:09:21 +0200 Subject: Transition: fix arg_to_param_map semantics --- lib/automata.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/automata.py') diff --git a/lib/automata.py b/lib/automata.py index 1715841..3bba65c 100755 --- a/lib/automata.py +++ b/lib/automata.py @@ -266,7 +266,7 @@ class Transition: ret = param_dict.copy() if self.arg_to_param_map: for k, v in self.arg_to_param_map.items(): - ret[k] = args[v] + ret[v] = args[k] if self.set_param: for k, v in self.set_param.items(): ret[k] = v @@ -482,7 +482,7 @@ class PTA: arguments.append(argument['name']) argument_values.append(argument['values']) if 'parameter' in argument: - arg_to_param_map[argument['parameter']] = i + arg_to_param_map[i] = argument['parameter'] if 'argument_combination' in transition: kwargs['argument_combination'] = transition['argument_combination'] if 'set_param' in transition: -- cgit v1.2.3