Handle bitwuzla exceptions

stanford-centaur · Oct 9, 2024 · b98833a · b98833a
1 parent 413f734
commit b98833a
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/bitwuzla/src/bitwuzla_solver.cpp b/bitwuzla/src/bitwuzla_solver.cpp
@@ -111,7 +111,19 @@ void BzlaSolver::set_opt(const std::string option, const std::string value)
   }
   else
   {
-    options.set(option, value);
+    try
+    {
+      options.set(option, value);
+    }
+    catch (const bitwuzla::Exception & exception)
+    {
+      std::string detail = exception.what();
+      // 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
+                                    + detail);
+    }
   }
 }