diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2023-05-30 12:20:25 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2023-05-30 12:20:25 +0200 |
commit | 0fb508c9f3491ac7fcd50e7b67be42f424555c45 (patch) | |
tree | d64b4181254c99a05c5ddf566b7b943b5358b318 | |
parent | d8275b48080d884f26b13934d42cd25e90e33c74 (diff) |
analyze-log: support different benchmarks
-rwxr-xr-x | bin/analyze-log.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/bin/analyze-log.py b/bin/analyze-log.py index 948d4d2..c64839c 100755 --- a/bin/analyze-log.py +++ b/bin/analyze-log.py @@ -33,15 +33,16 @@ def parse_logfile(filename): with open(filename, "r") as f: for line in f: - m = re.search(r"\[::\] ([^|]*) [|] (.*)", line) + m = re.search(r"\[::\] *([^|]*?) *[|] *([^|]*?) *[|] *(.*)", line) if m: - param_str = m.group(1) - attr_str = m.group(2) + name_str = m.group(1) + param_str = m.group(2) + attr_str = m.group(3) param = dict(map(kv_to_param_i, param_str.split(" "))) attr = dict(map(kv_to_param_f, attr_str.split(" "))) observations.append( { - "name": "Benchmark", + "name": name_str, "param": param, "attribute": attr, } |