From c6d788adafeeb32dd05612faf13bd868972bc027 Mon Sep 17 00:00:00 2001 From: Sami Vaarala Date: Mon, 18 Sep 2017 23:15:09 +0300 Subject: [PATCH] Microbenchmark script trivia --- util/bench_microbenchmarks.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/util/bench_microbenchmarks.py b/util/bench_microbenchmarks.py index 0e2d9399..b7254954 100644 --- a/util/bench_microbenchmarks.py +++ b/util/bench_microbenchmarks.py @@ -105,11 +105,13 @@ def run_one(testfile): return doc def format_one(doc): - res = '%-36s:' % os.path.basename(doc['test']) + res = '%-40s:' % os.path.basename(doc['test']) for eng in engines: engname = eng['name'] t = doc['engines'][engname] - if t.get('sigsegv', False): + if t.get('killed', False): + res += ' %s %5s' % (engname, 'kill') + elif t.get('sigsegv', False): res += ' %s %5s' % (engname, 'segv') elif t.get('failed', False): res += ' %s %5s' % (engname, 'n/a')