update examples to support Bitwuzla.

This is part of sosy-lab#377.
xeren · May 27, 2024 · 6cd89d5 · 6cd89d5
1 parent f1f5a38
commit 6cd89d5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/runExamples.sh b/runExamples.sh
@@ -77,7 +77,7 @@ esac
 
 # build the classpath including all solvers
 CLASSPATH="$CLASSPATH$SEP$PATH_TO_JAVASMT/bin$SEP$PATH_TO_JAVASMT/lib/java/core/*"
-SOLVERS="boolector cvc4 cvc5 mathsat opensmt optimathsat princess smtinterpol yices2 z3"
+SOLVERS="bitwuzla boolector cvc4 cvc5 mathsat opensmt optimathsat princess smtinterpol yices2 z3"
 for solver in $SOLVERS ; do
   CLASSPATH="$CLASSPATH$SEP$PATH_TO_JAVASMT/lib/java/runtime-$solver/*"
 done

diff --git a/src/org/sosy_lab/java_smt/example/SolverOverviewTable.java b/src/org/sosy_lab/java_smt/example/SolverOverviewTable.java
@@ -132,7 +132,7 @@ private List<String> getFeatures(SolverContext context)
         context.newProverEnvironment(GENERATE_UNSAT_CORE_OVER_ASSUMPTIONS)) {
       prover.unsatCoreOverAssumptions(ImmutableList.of());
       features.add("UnsatCore /w Assumption");
-    } catch (UnsupportedOperationException e) {
+    } catch (UnsupportedOperationException | IllegalStateException e) {
       // ignore, feature is not supported.
     }