diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-08-14 14:57:03 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-08-14 14:57:03 +0200 |
| commit | 680e7498a128c752e6eb43156ee990807c042769 (patch) | |
| tree | 6b23e44c6ab0b55c50c154a5608459949930ed0b | |
| parent | 87fb40a31ae4bc7d8df6c6f3ad2f00194fef83a7 (diff) | |
generate-dfa-benchmark: Ensure that individual parameter hashes are distinct
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 22b2b14..f728602 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -81,7 +81,7 @@ def benchmark_from_runs(pta: PTA, runs: list, harness: OnboardTimerHarness, benc for transition, arguments, parameter in run: num_transitions += 1 harness.append_transition(transition.name, param, arguments) - harness.append_state(transition.destination.name, parameter) + harness.append_state(transition.destination.name, parameter.copy()) outbuf.write('// {} -> {}\n'.format(transition.origin.name, transition.destination.name)) if transition.is_interrupt: outbuf.write('// wait for {} interrupt\n'.format(transition.name)) |