Update to EISOP 3.39-eisop1 from 3.34-eisop1 (#25)

opprop · Apr 7, 2024 · a8dc725 · a8dc725
1 parent 2d0d946
commit a8dc725
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tests/security/SecurityTest.java b/tests/security/SecurityTest.java
@@ -1,13 +1,13 @@
 package security;
 
 import checkers.inference.test.CFInferenceTest;
+import org.plumelib.util.IPair;
 import security.solver.SecuritySolverEngine;
 
 import java.io.File;
 import java.util.ArrayList;
 import java.util.List;
 import org.checkerframework.framework.test.TestUtilities;
-import org.checkerframework.javacutil.Pair;
 import org.junit.runners.Parameterized.Parameters;
 
 public class SecurityTest extends CFInferenceTest {
@@ -28,11 +28,11 @@ public boolean useHacks() {
     }
 
     @Override
-    public Pair<String, List<String>> getSolverNameAndOptions() {
+    public IPair<String, List<String>> getSolverNameAndOptions() {
         final String solverName = SecuritySolverEngine.class.getCanonicalName();
         List<String> solverOptions = new ArrayList<>();
         // solverOptions.add("solver=Z3");
-        return Pair.of(solverName, solverOptions);
+        return IPair.of(solverName, solverOptions);
     }
 
     @Parameters