Remove a bad (unstable, timing-dependent) test.

diff --git a/test/unit/util/stats_black.h b/test/unit/util/stats_black.h
index 67deede757612b61f65b3505e887122207a3b236..249f9a5b126b48a2b39941caee3cb7289fd4fe71 100644 (file)
--- a/test/unit/util/stats_black.h
+++ b/test/unit/util/stats_black.h
@@ -91,12 +91,6 @@ public:
     sstr.str("");
     sTimer.flushInformation(sstr);
     TS_ASSERT_EQUALS(sstr.str(), "0.000000000");
-
-    sTimer.start();
-    timespec zero = { 0, 0 };
-    //TS_ASSERT_EQUALS(zero, sTimer.getData());
-    sTimer.stop();
-    TS_ASSERT_LESS_THAN(zero, sTimer.getData());
 #endif /* CVC4_STATISTICS_ON */
   }