From 3146aa477dbe2a44de709e23430c628d0eb215c1 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Mon, 6 Feb 2023 13:31:54 +0100 Subject: [PATCH] fix: accumulate_profile: accept category names containing digits (e.g. hygiened decl names) --- tests/bench/accumulate_profile.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/bench/accumulate_profile.py b/tests/bench/accumulate_profile.py index 325e421cd3..50d9980346 100755 --- a/tests/bench/accumulate_profile.py +++ b/tests/bench/accumulate_profile.py @@ -6,7 +6,7 @@ import sys data = sys.stdin.read() cats = collections.defaultdict(lambda: 0) -for m in re.findall("^([^\n\d]+)([\d.]+)(m?)s$", data, re.MULTILINE): +for m in re.findall("^(.+?) ([\d.]+)(m?)s$", data, re.MULTILINE): cats[m[0].strip()] += float(m[1]) * (1e-3 if m[2] else 1) for cat in sorted(cats.keys()):