Disable unsat core interpolation test for CVC5 as it does not support
both at the same time
@@ -103,6 +103,7 @@ public class ProverEnvironmentTest extends SolverBasedTest0 {
@Test
public void unsatCoreTestForInterpolation() throws SolverException, InterruptedException {
requireInterpolation();
+ assume().that(solverToUse()).isNotEqualTo(Solvers.CVC5);
try (BasicProverEnvironment<?> pe =
context.newProverEnvironmentWithInterpolation(GENERATE_UNSAT_CORE)) {
unsatCoreTest0(pe);
