From c299eac39aeb0773a343a3e6f37cea5733c5fd44 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 17 Oct 2014 14:50:08 -0400 Subject: [PATCH] Remove a bad (unstable, timing-dependent) test. --- test/unit/util/stats_black.h | 6 ------ 1 file changed, 6 deletions(-) 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 */ } -- 2.30.2