override push() in SLProver
@@ -47,6 +47,11 @@ public class CVC4SLProver extends CVC4AbstractProver<Void> implements ProverEnvi
assertedFormulas.pop();
}
+ @Override
+ public void push() {
+ // No actual push() cause CVC4 does not support separation login in incremental mode.
+ }
+
@Override
public Void push(BooleanFormula pF) {
Expr exp = creator.extractInfo(pF);
