From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 17 Oct 2014 18:50:08 +0000 (-0400)
Subject: Remove a bad (unstable, timing-dependent) test.
X-Git-Tag: cvc5-1.0.0~6509^2~8
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c299eac39aeb0773a343a3e6f37cea5733c5fd44;p=cvc5.git

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

diff --git a/test/unit/util/stats_black.h b/test/unit/util/stats_black.h
index 67deede75..249f9a5b1 100644
--- 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 */
   }