|
@ -187,7 +187,7 @@ def parse_output(filename): |
|
|
m = int(m.split("=")[1]) |
|
|
m = int(m.split("=")[1]) |
|
|
data = [] |
|
|
data = [] |
|
|
for l in f: |
|
|
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(": ") |
|
|
name, values = l.strip().split(": ") |
|
|
values = tuple(float(v) for v in values.split()) |
|
|
values = tuple(float(v) for v in values.split()) |
|
|
data.append((name,) + values) |
|
|
data.append((name,) + values) |
|
|