diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2019-07-30 18:45:42 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-10-29 15:38:02 -0400 |
| commit | 4eb050e2999bef42f70dcc72a8ee283f8803ce67 (patch) | |
| tree | 10b6bc4ade4040661142ae57f57639b402194152 /lib/Core/AddressSpace.cpp | |
| parent | f2c9085cab7efd4468ffe44190547445fe5b15fb (diff) | |
| download | klee-4eb050e2999bef42f70dcc72a8ee283f8803ce67.tar.gz | |
ExecutorTimers: refactor and move to support lib
- moves timer handling from Executor into support lib - introduces TimerGroup, removes TimerInfo/WriteStatsTimer/UpdateReachableTimer/WriteIStatsTimer classes - removes ExecutorTimers.cpp and ExecutorTimerInfo.h - removes -max-instruction-time flag (see #1114)
Diffstat (limited to 'lib/Core/AddressSpace.cpp')
| -rw-r--r-- | lib/Core/AddressSpace.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/AddressSpace.cpp b/lib/Core/AddressSpace.cpp index 1a88e4ec..12e74c77 100644 --- a/lib/Core/AddressSpace.cpp +++ b/lib/Core/AddressSpace.cpp @@ -237,7 +237,7 @@ bool AddressSpace::resolve(ExecutionState &state, TimingSolver *solver, while (oi != begin) { --oi; const MemoryObject *mo = oi->first; - if (timeout && timeout < timer.check()) + if (timeout && timeout < timer.delta()) return true; int incomplete = @@ -256,7 +256,7 @@ bool AddressSpace::resolve(ExecutionState &state, TimingSolver *solver, // search forwards for (oi = start; oi != end; ++oi) { const MemoryObject *mo = oi->first; - if (timeout && timeout < timer.check()) + if (timeout && timeout < timer.delta()) return true; bool mustBeTrue; |