Commit a7ea5eea authored by leberre's avatar leberre
Browse files

Prevent DimacsStringSolver to be used in GenericM2Tests.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2535 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 09bcd046
......@@ -71,7 +71,8 @@ public class GenericM2Test extends AbstractM2Test<ISolver> {
for (String name2 : names) {
name = name2;
if (!"Mini3SAT".equals(name) && !"DimacsOutput".equals(name)
&& !"Statistics".equals(name) && !"Concise".equals(name)) {
&& !"Statistics".equals(name) && !"Concise".equals(name)
&& !"DimacsStringSolver".equals(name)) {
suite.addTest(new GenericM2Test(name));
}
}
......
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