Commit 5f72e810 authored by leberre's avatar leberre
Browse files

removed spurious sop.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1675 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 9fdcd451
......@@ -68,7 +68,6 @@ public abstract class AbstractPBXplainTest extends
clause.clear();
assertFalse(this.solver.isSatisfiable());
Collection<IConstr> explanation = this.solver.explain();
System.out.println(explanation);
assertEquals(5, explanation.size());
assertTrue(explanation.contains(c1));
}
......
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