From 02a2c3d40ecdd8e864e599f567a163949d6791c4 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 2 Jul 2015 11:36:59 +0200
Subject: [PATCH] Count total time

---
 testcases/repair/report.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/testcases/repair/report.html b/testcases/repair/report.html
index 2634d343c..09aca483a 100644
--- a/testcases/repair/report.html
+++ b/testcases/repair/report.html
@@ -34,7 +34,7 @@
         },
         tooltip: {
             headerFormat: '<b>{series.name}</b><br>',
-            pointFormat: '{point.x:%e. %b}: {point.y:.2f} ms'
+            pointFormat: '{point.x:%e. %b}: {point.y:,.0f} ms'
         },
 
         legend: {
@@ -74,7 +74,7 @@
           serie = seriesMap[name]
         }
 
-        serie.data.push([1000 * r.ts, r.time_synthesis])
+        serie.data.push([1000 * r.ts, r.time_synthesis+r.time_tests])
 
         seriesMap[name] = serie
       }
-- 
GitLab