From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 27 May 2014 20:16:55 +0000 (-0400)
Subject: update stats_black
X-Git-Tag: cvc5-1.0.0~6882^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=56cca3719999a35112c34e2181060ce1e15a5f7f;p=cvc5.git

update stats_black
---

diff --git a/test/unit/util/stats_black.h b/test/unit/util/stats_black.h
index 1367a62c1..02daf8066 100644
--- a/test/unit/util/stats_black.h
+++ b/test/unit/util/stats_black.h
@@ -90,7 +90,7 @@ public:
     TS_ASSERT_EQUALS(sstr.str(), "100");
     sstr.str("");
     sTimer.flushInformation(sstr);
-    TS_ASSERT_EQUALS(sstr.str(), "0.00000000");
+    TS_ASSERT_EQUALS(sstr.str(), "0.000000000");
 
     sTimer.start();
     timespec zero = { 0, 0 };