mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

api to accumulate stopwatches

Browse source
This commit is contained in:
Arie Gurfinkel 2017-06-20 20:52:06 -04:00
parent 6eced8836d
commit f3019a3de9
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/util/stopwatch.h
View file

@ -43,6 +43,8 @@ public:
} }
~stopwatch() {}; ~stopwatch() {};
void add (const stopwatch &s) {/* TODO */}
void reset() { m_elapsed.QuadPart = 0; } void reset() { m_elapsed.QuadPart = 0; }
@ -90,6 +92,8 @@ public:
~stopwatch() {} ~stopwatch() {}
void add (const stopwatch &s) {m_time += s.m_time;}
void reset() { void reset() {
m_time = 0ull; m_time = 0ull;
} }
@ -141,6 +145,8 @@ public:
~stopwatch() {} ~stopwatch() {}
void add (const stopwatch &s) {m_time += s.m_time;}
void reset() { void reset() {
m_time = 0ull; m_time = 0ull;
} }