diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 27 |
1 files changed, 6 insertions, 21 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 8489d40..e869a9d 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -30,6 +30,12 @@ Options: --sleep=<ms> (default: 0) How long to sleep between function calls. + +--trace-filter=<transition,transition,transition,...>[ <transition,transition,transition,...> ...] + Only consider traces whose beginning matches one of the provided transition sequences. + E.g. --trace-filter='init,foo init,bar' will only consider traces with init as first and foo or bar as second transition, + and --trace-filter='init,foo,$ init,bar,$' will only consider the traces init -> foo and init -> bar. + """ import getopt @@ -255,11 +261,6 @@ if __name__ == '__main__': accounting_object = get_accountingmethod(opt['accounting'])(opt['dummy'], pta) else: accounting_object = None - drv = MultipassDriver(opt['dummy'], pta, repo.class_by_name[opt['dummy']], enum=enum, accounting=accounting_object) - with open('/home/derf/var/projects/multipass/src/driver/dummy.cc', 'w') as f: - f.write(drv.impl) - with open('/home/derf/var/projects/multipass/include/driver/dummy.h', 'w') as f: - f.write(drv.header) runs = list(pta.dfs(opt['depth'], with_arguments = True, with_parameters = True, trace_filter = opt['trace-filter'])) @@ -273,20 +274,4 @@ if __name__ == '__main__': if next(filter(lambda x: len(x.return_value_handlers), pta.transitions), None): need_return_values = True - harness = OnboardTimerHarness(gpio_pin = timer_pin, pta = pta, counter_limits = runner.get_counter_limits_us(opt['arch']), log_return_values = need_return_values) - - if len(args) > 1: - results = run_benchmark(args[1], pta, runs, opt['arch'], opt['app'], opt['run'].split(), harness, opt['sleep'], opt['repeat'], runs_total = len(runs), dummy = 'dummy' in opt) - json_out = { - 'opt' : opt, - 'pta' : pta.to_json(), - 'traces' : list(map(lambda x: x[1].traces, results)), - 'raw_output' : list(map(lambda x: x[2], results)), - } - with open(time.strftime('ptalog-%Y%m%d-%H%M%S.json'), 'w') as f: - json.dump(json_out, f) - else: - outbuf = benchmark_from_runs(pta, runs, harness) - print(outbuf.getvalue()) - sys.exit(0) |