summaryrefslogtreecommitdiff
path: root/bin/generate-dfa-benchmark.py
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2019-11-13 16:02:36 +0100
committerDaniel Friesel <daniel.friesel@uos.de>2019-11-13 16:02:36 +0100
commitc5b30ab84544f8b393a31ab6358b3a36c0f9df3a (patch)
treeda853c95162cb26726752ea08adde72ec54ef76c /bin/generate-dfa-benchmark.py
parent8c8545553910a75a6c53900f7b729465a03f4846 (diff)
use barcode synchronization when running EnergyTrace benchmarks
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
-rwxr-xr-xbin/generate-dfa-benchmark.py4
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py
index d6619ee..dec676e 100755
--- a/bin/generate-dfa-benchmark.py
+++ b/bin/generate-dfa-benchmark.py
@@ -128,6 +128,8 @@ def benchmark_from_runs(pta: PTA, runs: list, harness: OnboardTimerHarness, benc
param = pta.get_initial_param_dict()
for transition, arguments, parameter in run:
num_transitions += 1
+ # TODO für energytrace mode: BarCode-Library für Transition ID -> GPIO-LED-Pulse nutzen? Taugt genau so gut als sync und liefert obendrein noch
+ # Daten
harness.append_transition(transition.name, param, arguments)
harness.append_state(transition.destination.name, parameter.copy())
outbuf.write('// {} -> {}\n'.format(transition.origin.name, transition.destination.name))
@@ -398,7 +400,7 @@ if __name__ == '__main__':
if 'mimosa' in opt:
harness = TransitionHarness(gpio_pin = timer_pin, pta = pta, log_return_values = need_return_values, repeat = 1, post_transition_delay_us = 20)
elif 'energytrace' in opt:
- harness = OnboardTimerHarness(gpio_pin = timer_pin, gpio_mode = 'before', pta = pta, counter_limits = runner.get_counter_limits_us(opt['arch']), log_return_values = need_return_values, repeat = 1)
+ harness = OnboardTimerHarness(gpio_pin = timer_pin, gpio_mode = 'bar', pta = pta, counter_limits = runner.get_counter_limits_us(opt['arch']), log_return_values = need_return_values, repeat = 1)
elif 'timing' in opt:
harness = OnboardTimerHarness(gpio_pin = timer_pin, pta = pta, counter_limits = runner.get_counter_limits_us(opt['arch']), log_return_values = need_return_values, repeat = opt['repeat'])