fix Refaster warnings

kfriedberger · kfriedberger · commit 94f3ad6f0e03 · 2024-10-29T22:34:32.000+01:00
diff --git a/src/org/sosy_lab/java_smt/basicimpl/AbstractSolverContext.java b/src/org/sosy_lab/java_smt/basicimpl/AbstractSolverContext.java
@@ -35,6 +35,7 @@ public final FormulaManager getFormulaManager() {
     return fmgr;
   }
 
+  @SuppressWarnings("resource")
   @Override
   public final ProverEnvironment newProverEnvironment(ProverOptions... options) {
     ProverEnvironment out = newProverEnvironment0(toSet(options));
diff --git a/src/org/sosy_lab/java_smt/test/SolverTacticsTest.java b/src/org/sosy_lab/java_smt/test/SolverTacticsTest.java
@@ -199,7 +199,7 @@ public void ufEliminationNestedUfsTest() throws SolverException, InterruptedExce
   }
 
   @Test
-  public void ufEliminationNesteQuantifierTest() throws InterruptedException {
+  public void ufEliminationNesteQuantifierTest() {
     requireIntegers();
     requireQuantifiers();
     // f := exists v1,v2v,v3,v4 : uf(v1, v3) == uf(v2, v4)

Original file line number	Diff line number	Diff line change
`@@ -35,6 +35,7 @@ public final FormulaManager getFormulaManager() {`
`35`	`35`	`return fmgr;`
`36`	`36`	`}`
`37`	`37`
	`38`	`+ @SuppressWarnings("resource")`
`38`	`39`	`@Override`
`39`	`40`	`public final ProverEnvironment newProverEnvironment(ProverOptions... options) {`
`40`	`41`	`ProverEnvironment out = newProverEnvironment0(toSet(options));`
Original file line number	Diff line number	Diff line change
`@@ -199,7 +199,7 @@ public void ufEliminationNestedUfsTest() throws SolverException, InterruptedExce`
`199`	`199`	`}`
`200`	`200`
`201`	`201`	`@Test`
`202`		`- public void ufEliminationNesteQuantifierTest() throws InterruptedException {`
	`202`	`+ public void ufEliminationNesteQuantifierTest() {`
`203`	`203`	`requireIntegers();`
`204`	`204`	`requireQuantifiers();`
`205`	`205`	`// f := exists v1,v2v,v3,v4 : uf(v1, v3) == uf(v2, v4)`