diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-10-30 15:27:10 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-30 15:27:10 -0700 |
commit | 43ab3f4cd1aa5549cb1aa3c20a2d589614bcb8fc (patch) | |
tree | cf7b5d7f73a4d4ddc34492334a7d0eb90b57b77b /src/util/resource_manager.cpp | |
parent | 8dda9531995953c3cec094339002f2ee7cadae08 (diff) |
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)
Diffstat (limited to 'src/util/resource_manager.cpp')
-rw-r--r-- | src/util/resource_manager.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/util/resource_manager.cpp b/src/util/resource_manager.cpp index 6d7e08736..8f00a23ea 100644 --- a/src/util/resource_manager.cpp +++ b/src/util/resource_manager.cpp @@ -16,7 +16,7 @@ **/ #include "util/resource_manager.h" -#include "base/cvc4_assert.h" +#include "base/check.h" #include "base/output.h" #include "options/smt_options.h" @@ -49,7 +49,7 @@ void Timer::set(uint64_t millis, bool wallTime) { /** Return the milliseconds elapsed since last set(). */ uint64_t Timer::elapsedWall() const { - Assert (d_wall_time); + Assert(d_wall_time); timeval tv; gettimeofday(&tv, NULL); Trace("limit") << "Timer::elapsedWallTime(): it's now " << tv.tv_sec << "," << tv.tv_usec << std::endl; @@ -60,7 +60,7 @@ uint64_t Timer::elapsedWall() const { } uint64_t Timer::elapsedCPU() const { - Assert (!d_wall_time); + Assert(!d_wall_time); clock_t elapsed = ((double)clock())/(CLOCKS_PER_SEC *0.001)- d_cpu_start_time; Trace("limit") << "Timer::elapsedCPUTime(): elapsed time is " << elapsed << " ms" <<std::endl; return elapsed; @@ -212,7 +212,6 @@ void ResourceManager::beginCall() { } if (d_timeBudgetCumulative) { - AlwaysAssert(d_cumulativeTimer.on()); // timer was on since the option was set d_cumulativeTimeUsed = d_cumulativeTimer.elapsed(); |