diff options
Diffstat (limited to 'tests/run-perfbench.py')
| -rwxr-xr-x | tests/run-perfbench.py | 2 |
1 files changed, 1 insertions, 1 deletions
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) |