diff options
-rw-r--r-- | test/unit/util/stats_black.h | 6 |
1 files changed, 0 insertions, 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 */ } |