From 5e78c1ccda63bcbfd065f5dbde70f7e3ee1b881c Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Sat, 8 Sep 2018 15:51:20 +0200 Subject: measure wall time in falsesharing and fix summary for results with different args --- falsesharing.py | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) (limited to 'falsesharing.py') diff --git a/falsesharing.py b/falsesharing.py index 7159e04..05a193e 100644 --- a/falsesharing.py +++ b/falsesharing.py @@ -9,6 +9,8 @@ import subprocess from benchmark import Benchmark +time_re = re.compile("^Time elapsed = (?P