diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-17 14:50:08 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-17 14:50:08 -0400 |
| commit | c299eac39aeb0773a343a3e6f37cea5733c5fd44 (patch) | |
| tree | a56cc167008ebfb6fba84a343fcd3147230f3450 /test/unit | |
| parent | 09e68572fce8b0eba9a428dd314c59690f520498 (diff) | |
Remove a bad (unstable, timing-dependent) test.
Diffstat (limited to 'test/unit')
| -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 */ } |