Use the already opened prover to verify SAT in a formula in an
quantifier ALLSAT test
@@ -242,7 +242,7 @@ public class SolverAllSatTest extends SolverBasedTest0 {
env.push(query);
- assertThatFormula(query).isSatisfiable();
+ assertThat(env.isUnsat()).isFalse();
TestAllSatCallback callback = new TestAllSatCallback();
