From d3aee9c0e619fa097e296de81de93a09aaab82f2 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@comsys.rwth-aachen.de>
Date: Sat, 11 Apr 2020 16:43:01 +0200
Subject: fix BatchingSearcher's disabled time budget

The functionality of the batching searcher that increases the time
budget if it is shorter than the time between two calls to
`selectState()` ignored the disabled time budget. Effectively, the
batching searcher thus picks a very arbitrary time budget on its own.
---
 lib/Core/Searcher.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/Core/Searcher.cpp b/lib/Core/Searcher.cpp
index 080c31aa..f5d6543f 100644
--- a/lib/Core/Searcher.cpp
+++ b/lib/Core/Searcher.cpp
@@ -423,7 +423,7 @@ ExecutionState &BatchingSearcher::selectState() {
         (time::getWallTime() - lastStartTime) > timeBudget)) ||
       ((instructionBudget > 0) &&
        (stats::instructions - lastStartInstructions) > instructionBudget)) {
-    if (lastState) {
+    if (lastState && timeBudget.toSeconds() > 0) {
       time::Span delta = time::getWallTime() - lastStartTime;
       auto t = timeBudget;
       t *= 1.1;
-- 
cgit 1.4.1