Commit 0ebeeabb authored by leberre's avatar leberre

Fixed an assertion.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@269 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent afc2c2c3
......@@ -60,7 +60,7 @@ public class Xplain<T extends ISolver> extends SolverDecorator<T> {
literals.push(newvar);
IConstr constr = super.addClause(literals);
constrs.push(constr);
assert constrs.size() == nbnewvar;
assert constrs.size() == nbnewvar : ""+constrs.size()+"!="+nbnewvar;
return constr;
}
......@@ -82,7 +82,7 @@ public class Xplain<T extends ISolver> extends SolverDecorator<T> {
private static final long serialVersionUID = 1L;
public IVecInt explain() throws TimeoutException {
assert !isSatisfiable();
assert !isSatisfiable(assump);
return xplainStrategy.explain(decorated(),nbnewvar,nborigvars,constrs, assump);
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment