update examples to support Bitwuzla.

This is part of #377.

Author: kfriedberger

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

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.
     }