From 411cd5dc3b6df6d4f62b86021de9a0177fd8b536 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 22 Aug 2017 15:25:09 +0200
Subject: [PATCH] prepare parse_log for coq 8.7
---
benchmark/parse_log.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/benchmark/parse_log.py b/benchmark/parse_log.py
index 86c6ad3ad..f5474f285 100644
--- a/benchmark/parse_log.py
+++ b/benchmark/parse_log.py
@@ -9,7 +9,7 @@ def parse(file, parse_times = True):
'''[file] should be a file-like object, an iterator over the lines.
yields a list of Result objects.'''
commit_re = re.compile("^# ([a-z0-9]+)$")
- time_re = re.compile("^([a-zA-Z0-9_/-]+) \(user: ([0-9.]+) mem: ([0-9]+) ko\)$")
+ time_re = re.compile("^([a-zA-Z0-9_/-]+) \((real|user): ([0-9.]+).* mem: ([0-9]+) ko\)$")
commit = None
times = None
for line in file:
--
GitLab