mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 10:52:02 +00:00
Code Activity

Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

Browse source
This commit is contained in:
Nikolaj Bjorner 2014-10-06 15:43:38 -07:00
commit c7e27fb2d9
1 changed files with 11 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

21
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,11 +101,11 @@ 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;
m_time += (_stop.tv_nsec - m_start.tv_nsec); m_time += (_stop.tv_nsec - m_start.tv_nsec);
m_running = false; m_running = false;
} }
} }
@ -120,7 +120,7 @@ public:
} }
double get_current_seconds() const { double get_current_seconds() const {
return get_seconds(); return get_seconds();
} }
}; };
@ -141,22 +141,23 @@ public:
~stopwatch() {} ~stopwatch() {}
void reset() { void reset() {
m_time = 0ull; m_time = 0ull;
} }
void start() { void start() {
if (!m_running) { if (!m_running) {
clock_gettime(CLOCK_THREAD_CPUTIME_ID, &m_start); clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &m_start);
m_running = true; m_running = true;
} }
} }
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_PROCESS_CPUTIME_ID, &_stop);
m_time += (_stop.tv_sec - m_start.tv_sec) * 1000000000ull; m_time += (_stop.tv_sec - m_start.tv_sec) * 1000000000ull;
m_time += (_stop.tv_nsec - m_start.tv_nsec); if (m_time != 0 || _stop.tv_nsec >= m_start.tv_nsec)
m_time += (_stop.tv_nsec - m_start.tv_nsec);
m_running = false; m_running = false;
} }
} }
@ -171,7 +172,7 @@ public:
} }
double get_current_seconds() const { double get_current_seconds() const {
return get_seconds(); return get_seconds();
} }
}; };