From 00f74bd822dda4b39ed439f53e0767283f85c5e5 Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Sat, 23 Nov 2019 00:08:18 +0100
Subject: change result format from pickle to json

---
 bench.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'bench.py')

diff --git a/bench.py b/bench.py
index 7875955..6b2c10f 100755
--- a/bench.py
+++ b/bench.py
@@ -221,10 +221,10 @@ def main():
                 continue
             end_time = datetime.datetime.now()
             bench.results['facts']['end-time'] = end_time.isoformat()
-            bench.results['facts']['duration'] = end_time - start_time
+            bench.results['facts']['duration'] = (end_time - start_time).total_seconds()
 
         # Save results in resultdir
-        bench.save(os.path.join(src.globalvars.resdir, f"{bench.name}.save"))
+        bench.save(src.globalvars.resdir)
 
         if hasattr(bench, "cleanup"):
             print_status("Cleaning up", bench.name, "...")
-- 
cgit v1.2.3