bitwuzla: Do not error when option incremental is set to false. (#371)

stanford-centaur · Feb 14, 2025 · 5d73b6d · 5d73b6d
1 parent 7966c78
commit 5d73b6d
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/bitwuzla/src/bitwuzla_solver.cpp b/bitwuzla/src/bitwuzla_solver.cpp
@@ -95,10 +95,9 @@ void BzlaSolver::set_opt(const std::string option, const std::string value)
 {
   if (option == "incremental")
   {
-    if (value != "true")
-    {
-      throw NotImplementedException("Bitwuzla only supports incremental mode");
-    }
+    // Bitwuzla does not distinguish between incremental and non-incremental
+    // solving.
+    return;
   }
   else if (option == "time-limit")
   {
@@ -118,7 +117,8 @@ void BzlaSolver::set_opt(const std::string option, const std::string value)
     catch (const bitwuzla::Exception & exception)
     {
       std::string detail = exception.what();
-      // Remove "invalid call to 'bitwuzla::Options::set(...)'" from exception message.
+      // Remove "invalid call to 'bitwuzla::Options::set(...)'" from exception
+      // message.
       detail.erase(0, detail.find(")"));
       detail.erase(0, detail.find(","));
       throw IncorrectUsageException("Bitwuzla backend got bad option " + option