CVC4 does not support interpolation. Disable test for AllSat with InterpolationProver.
@@ -78,6 +78,9 @@ public class SolverAllSatTest extends SolverBasedTest0 {
// TODO how can we support allsat in MathSat5-interpolation-prover?
assume().that(solverToUse()).isNotEqualTo(Solvers.MATHSAT5);
+ // CVC4 does not support interpolation
+ assume().that(solverToUse()).isNotEqualTo(Solvers.CVC4);
+
env = context.newProverEnvironmentWithInterpolation();
break;
