diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-17 14:50:49 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-17 14:50:49 -0400 |
| commit | 9a596b534a4c95762dc0bc55e2258ee81a2e9200 (patch) | |
| tree | bb6286930026a94edd1b41de418e72250f2cf5d5 /test/unit/util | |
| parent | 98576f10e1c197e6844c80fdeba477f5aecaec08 (diff) | |
| parent | c299eac39aeb0773a343a3e6f37cea5733c5fd44 (diff) | |
Merge branch '1.4.x'
Diffstat (limited to 'test/unit/util')
| -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 */ } |