- refactored

DavidGalllob · DavidGalllob · commit bab58f1783d1 · 2025-04-03T19:36:08.000+02:00
diff --git a/src/org/sosy_lab/java_smt/utils/ParseGenerateAndReparse.java b/src/org/sosy_lab/java_smt/utils/ParseGenerateAndReparse.java
@@ -121,8 +121,8 @@ public static boolean checkNativeParseAndIsUnsat(Solvers solver, String smt2)
       case Z3: return nativeZ3ParseAndIsUnsat(smt2);
       case MATHSAT5: return nativeMathSatParseAndIsUnsat(smt2);
       case BITWUZLA: return nativeBitwuzlaParseAndIsUnsat(smt2);
+      default: throw new SolverException("Unsupported solver: " + solver);
     }
-    throw new SolverException("Unsupported solver: " + solver);
   }
 
   public static boolean nativeZ3ParseAndIsUnsat(String smt2) {

Original file line number	Diff line number	Diff line change
`@@ -121,8 +121,8 @@ public static boolean checkNativeParseAndIsUnsat(Solvers solver, String smt2)`
`121`	`121`	`case Z3: return nativeZ3ParseAndIsUnsat(smt2);`
`122`	`122`	`case MATHSAT5: return nativeMathSatParseAndIsUnsat(smt2);`
`123`	`123`	`case BITWUZLA: return nativeBitwuzlaParseAndIsUnsat(smt2);`
	`124`	`+ default: throw new SolverException("Unsupported solver: " + solver);`
`124`	`125`	`}`
`125`		`- throw new SolverException("Unsupported solver: " + solver);`
`126`	`126`	`}`
`127`	`127`
`128`	`128`	`public static boolean nativeZ3ParseAndIsUnsat(String smt2) {`