diff options
| -rw-r--r-- | tests/perf_bench/benchrun.py | 2 | ||||
| -rwxr-xr-x | tests/run-perfbench.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/perf_bench/benchrun.py b/tests/perf_bench/benchrun.py index 90c303dd2..ed43297d1 100644 --- a/tests/perf_bench/benchrun.py +++ b/tests/perf_bench/benchrun.py @@ -15,7 +15,7 @@ def bm_run(N, M): cur_nm = nm param = p if param is None: - print(-1, -1, "no matching params") + print(-1, -1, "SKIP: no matching params") return # Run and time benchmark diff --git a/tests/run-perfbench.py b/tests/run-perfbench.py index f76aa511a..d70b99693 100755 --- a/tests/run-perfbench.py +++ b/tests/run-perfbench.py @@ -187,7 +187,7 @@ def parse_output(filename): m = int(m.split("=")[1]) data = [] for l in f: - if l.find(": ") != -1 and l.find(": SKIP") == -1 and l.find("CRASH: ") == -1: + if ": " in l and ": SKIP" not in l and "CRASH: " not in l: name, values = l.strip().split(": ") values = tuple(float(v) for v in values.split()) data.append((name,) + values) |