Merge pull request #1328 from psi-func/fix-bitwuzla-timeout

Fix: not using timeout with bitwuzla backend
JonathanSalwan · May 22, 2024 · e712f44 · e712f44
2 parents 98de7d8 + 7e51dac
commit e712f44
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/libtriton/engines/solver/bitwuzla/bitwuzlaSolver.cpp b/src/libtriton/engines/solver/bitwuzla/bitwuzlaSolver.cpp
@@ -108,9 +108,11 @@ namespace triton {
         auto bzlaAst = triton::ast::TritonToBitwuzla();
         bitwuzla_assert(bzla, bzlaAst.convert(node, bzla));
 
+        auto tmout = timeout != 0 ? timeout : this->timeout;
+
         // Set solving params.
-        SolverParams p(this->timeout, this->memoryLimit);
-        if (this->timeout || this->memoryLimit) {
+        SolverParams p(tmout, this->memoryLimit);
+        if (tmout || this->memoryLimit) {
           bitwuzla_set_termination_callback(bzla, this->terminateCallback, reinterpret_cast<void*>(&p));
         }