Only report three decimal places of time
authorAryeh Gregor <AryehGregor+gitcommit@gmail.com>
Wed, 07 Sep 2011 11:03:39 -0600
changeset 568 16ccc3a4643f
parent 567 f61db0aad1f8
child 569 cc3b4fff8938
Only report three decimal places of time
conformancetest/runtest.html
--- a/conformancetest/runtest.html	Wed Sep 07 09:47:00 2011 -0600
+++ b/conformancetest/runtest.html	Wed Sep 07 11:03:39 2011 -0600
@@ -41,7 +41,7 @@
 
 	var elapsed = Math.round(Date.now() - startTime)/1000;
 	document.getElementById("timing").textContent =
-		"Time elapsed: " + Math.floor(elapsed/60) + ":" + (elapsed % 60) + " min.";
+		"Time elapsed: " + Math.floor(elapsed/60) + ":" + (elapsed % 60).toFixed(3) + " min.";
 }
 
 /**