fix: change type of variable from  ArrayList  to List
@@ -28,7 +28,6 @@ import static org.sosy_lab.java_smt.test.ProverEnvironmentSubject.assertThat;
import com.google.common.collect.ImmutableList;
import com.google.common.collect.Lists;
import com.google.common.collect.Sets;
-import java.util.ArrayList;
import java.util.Collections;
import java.util.List;
import java.util.Set;
@@ -364,7 +363,7 @@ public class InterpolatingProverTest extends SolverBasedTest0 {
assertThat(stack).isUnsatisfiable();
// list of one partition
- ArrayList<T> partition = Lists.newArrayList(TA, TB);
+ List<T> partition = Lists.newArrayList(TA, TB);
List<BooleanFormula> itps = stack.getSeqInterpolants(ImmutableList.of(partition));
assertThat(itps).isEmpty();
}
@@ -964,7 +963,7 @@ public class InterpolatingProverTest extends SolverBasedTest0 {
assertThat(stack).isUnsatisfiable();
// list of one partition
- ArrayList<T> partition = Lists.newArrayList(TA, TB);
+ List<T> partition = Lists.newArrayList(TA, TB);
List<BooleanFormula> itps =
stack.getTreeInterpolants(ImmutableList.of(partition), new int[] {0});
assertThat(itps).isEmpty();
