mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-25 21:57:00 +00:00
Code Activity

Merge pull request #805 from MartinNowack/feat_unlimited_timeout

Browse source 
Do not request time stamp if not needed
This commit is contained in:
Nikolaj Bjorner 2016-11-23 08:49:38 -08:00 • committed by GitHub
commit facc3215da
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/timer.h
View file

@ -31,8 +31,8 @@ public:
~timer(); ~timer();
void start(); void start();
double get_seconds(); double get_seconds();
bool timeout(unsigned secs) { return secs > 0 && get_seconds() > secs; } bool timeout(unsigned secs) { return secs > 0 && secs != UINT_MAX && get_seconds() > secs; }
bool ms_timeout(unsigned ms) { return ms > 0 && get_seconds() * 1000 > ms; } bool ms_timeout(unsigned ms) { return ms > 0 && ms != UINT_MAX && get_seconds() * 1000 > ms; }
}; };
#endif /* TIMER_H_ */ #endif /* TIMER_H_ */