Removed unnecessary "resource" annotations.

daniel-raffler · baierd · commit e5a898e5d218 · 2024-01-03T09:33:38.000+01:00
diff --git a/src/org/sosy_lab/java_smt/test/SolverThreadLocalityTest.java b/src/org/sosy_lab/java_smt/test/SolverThreadLocalityTest.java
@@ -68,7 +68,6 @@ public void allLocalTest() throws InterruptedException, SolverException {
     }
   }
 
-  @SuppressWarnings("resource")
   @Test
   public void nonlocalContextTest()
       throws ExecutionException, InterruptedException, SolverException {
@@ -103,7 +102,6 @@ public void nonlocalContextTest()
     }
   }
 
-  @SuppressWarnings("resource")
   @Test
   public void nonlocalFormulaTest()
       throws InterruptedException, SolverException, ExecutionException {
@@ -281,7 +279,6 @@ public <T> void nonlocalInterpolationTest() throws InterruptedException, Executi
     }
   }
 
-  @SuppressWarnings("resource")
   @Test
   public void wrongContextTest()
       throws InterruptedException, SolverException, InvalidConfigurationException {

Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,6 @@ public void allLocalTest() throws InterruptedException, SolverException {`
`68`	`68`	`}`
`69`	`69`	`}`
`70`	`70`
`71`		`- @SuppressWarnings("resource")`
`72`	`71`	`@Test`
`73`	`72`	`public void nonlocalContextTest()`
`74`	`73`	`throws ExecutionException, InterruptedException, SolverException {`
`@@ -103,7 +102,6 @@ public void nonlocalContextTest()`
`103`	`102`	`}`
`104`	`103`	`}`
`105`	`104`
`106`		`- @SuppressWarnings("resource")`
`107`	`105`	`@Test`
`108`	`106`	`public void nonlocalFormulaTest()`
`109`	`107`	`throws InterruptedException, SolverException, ExecutionException {`
`@@ -281,7 +279,6 @@ public <T> void nonlocalInterpolationTest() throws InterruptedException, Executi`
`281`	`279`	`}`
`282`	`280`	`}`
`283`	`281`
`284`		`- @SuppressWarnings("resource")`
`285`	`282`	`@Test`
`286`	`283`	`public void wrongContextTest()`
`287`	`284`	`throws InterruptedException, SolverException, InvalidConfigurationException {`