diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2019-12-18 11:39:31 +0100 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-12-18 11:39:31 +0100 |
commit | 342468318abd2004a2f01105fb0c9c0507c62211 (patch) | |
tree | 42fab479820bb54f80c08e0e36cfe79faedb27e2 /bin/workload.py | |
parent | 6dea5e30f9023b7748d9249f80aaeeded6011bc1 (diff) |
workload/simulate: Fix param handover
Diffstat (limited to 'bin/workload.py')
-rwxr-xr-x | bin/workload.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/workload.py b/bin/workload.py index d2e5b34..c9d4e76 100755 --- a/bin/workload.py +++ b/bin/workload.py @@ -22,9 +22,9 @@ prev_param = None for trace_part in timedword: print('Trace Part {}'.format(trace_part)) if type(trace_part) is TimedWord: - result = pta.simulate(trace_part, orig_state=prev_state) + result = pta.simulate(trace_part, orig_state=prev_state, orig_param=prev_param) elif type(trace_part) is Workload: - result = pta.simulate(trace_part.word, orig_state=prev_state) + result = pta.simulate(trace_part.word, orig_state=prev_state, orig_param=prev_param) if prev_state != result.end_state: print('Warning: loop starts in state {}, but terminates in {}'.format(prev_state, result.end_state.name)) if prev_param != result.parameters: |