From a10bd4822ae30846391405fb1ebc52001c757940 Mon Sep 17 00:00:00 2001
From: AdamZsofi <adamzsofi.mail@gmail.com>
Date: Wed, 24 Jul 2024 11:47:43 +0200
Subject: [PATCH] catch any throwable when instantiating solvers

---
 .../bme/mit/theta/xcfa/cli/checkers/ConfigToBoundedChecker.kt   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/ConfigToBoundedChecker.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/ConfigToBoundedChecker.kt
index b642f5c840..52194fa0aa 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/ConfigToBoundedChecker.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/checkers/ConfigToBoundedChecker.kt
@@ -80,7 +80,7 @@ fun getBoundedChecker(xcfa: XCFA, mcm: MCM,
 private fun tryGetSolver(name: String, validate: Boolean): SolverFactory? {
     try {
         return getSolver(name, validate)
-    } catch (e: SmtLibSolverInstallerException) {
+    } catch (e: Throwable) {
         return null
     }
 }