diff options
Diffstat (limited to 'lib/Core/ExecutorTimers.cpp')
| -rw-r--r-- | lib/Core/ExecutorTimers.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/ExecutorTimers.cpp b/lib/Core/ExecutorTimers.cpp index de24d75d..9d2e8868 100644 --- a/lib/Core/ExecutorTimers.cpp +++ b/lib/Core/ExecutorTimers.cpp @@ -169,7 +169,7 @@ void Executor::processTimers(ExecutionState *current, if (maxInstTime && current && std::find(removedStates.begin(), removedStates.end(), current) == removedStates.end()) { - if (timerTicks*kMilliSecondsPerTick > maxInstTime) { + if (timerTicks * kMilliSecondsPerTick > maxInstTime) { klee_warning("max-instruction-time exceeded: %.2fs", (timerTicks * kMilliSecondsPerTick).toSeconds()); terminateStateEarly(*current, "max-instruction-time exceeded"); } |