Progage InterruptedExceptionin Mathsat5AbstractProver.exec() to fix seceral failed tests in TimoutTest.java

Author: daniel-raffler

src/org/sosy_lab/java_smt/solvers/mathsat5/Mathsat5AbstractProver.java

@@ -97,13 +97,14 @@ private long buildConfig(Set<ProverOptions> opts) {
   /** add needed options into the given map. */
   protected abstract void createConfig(Map<String, String> pConfig);
 
-  private <T> T exec(Callable<T> closure) throws SolverException {
+  private <T> T exec(Callable<T> closure) throws SolverException, InterruptedException {
     long hook = context.addTerminationTest(curEnv);
     T value = null;
     try {
       value = closure.call();
     } catch (Throwable t) {
       Throwables.propagateIfPossible(t, IllegalStateException.class, SolverException.class);
+      Throwables.propagateIfPossible(t, InterruptedException.class);
     } finally {
       msat_free_termination_callback(hook);
     }