summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2019-12-18 11:39:31 +0100
committerDaniel Friesel <daniel.friesel@uos.de>2019-12-18 11:39:31 +0100
commit342468318abd2004a2f01105fb0c9c0507c62211 (patch)
tree42fab479820bb54f80c08e0e36cfe79faedb27e2 /bin
parent6dea5e30f9023b7748d9249f80aaeeded6011bc1 (diff)
workload/simulate: Fix param handover
Diffstat (limited to 'bin')
-rwxr-xr-xbin/workload.py4
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: