mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-04 13:21:22 +00:00
Code Activity

tabs

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2014-10-06 18:09:40 +01:00
parent 7ef1e8a3de
commit 3222ecd992
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/util/stopwatch.h
View file

@ -90,7 +90,7 @@ public:
~stopwatch() {} ~stopwatch() {}
void reset() { void reset() {
m_time = 0ull; m_time = 0ull;
} }
void start() { void start() {
@ -101,7 +101,7 @@ public:
} }
void stop() { void stop() {
if (m_running) { if (m_running) {
mach_timespec_t _stop; mach_timespec_t _stop;
clock_get_time(m_host_clock, &_stop); clock_get_time(m_host_clock, &_stop);
m_time += (_stop.tv_sec - m_start.tv_sec) * 1000000000ull; m_time += (_stop.tv_sec - m_start.tv_sec) * 1000000000ull;
@ -120,7 +120,7 @@ public:
} }
double get_current_seconds() const { double get_current_seconds() const {
return get_seconds(); return get_seconds();
} }
}; };
@ -141,7 +141,7 @@ public:
~stopwatch() {} ~stopwatch() {}
void reset() { void reset() {
m_time = 0ull; m_time = 0ull;
} }
void start() { void start() {
@ -152,7 +152,7 @@ public:
} }
void stop() { void stop() {
if (m_running) { if (m_running) {
struct timespec _stop; struct timespec _stop;
clock_gettime(CLOCK_THREAD_CPUTIME_ID, &_stop); clock_gettime(CLOCK_THREAD_CPUTIME_ID, &_stop);
m_time += (_stop.tv_sec - m_start.tv_sec) * 1000000000ull; m_time += (_stop.tv_sec - m_start.tv_sec) * 1000000000ull;
@ -171,7 +171,7 @@ public:
} }
double get_current_seconds() const { double get_current_seconds() const {
return get_seconds(); return get_seconds();
} }
}; };