Commit 7d1ddbac authored by leberre's avatar leberre
Browse files

Removed smelling code.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2536 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent a7ea5eea
......@@ -67,9 +67,7 @@ public class GenericM2Test extends AbstractM2Test<ISolver> {
public static TestSuite suite() {
TestSuite suite = new TestSuite();
String[] names = FACTORY.solverNames();
String name;
for (String name2 : names) {
name = name2;
for (String name : names) {
if (!"Mini3SAT".equals(name) && !"DimacsOutput".equals(name)
&& !"Statistics".equals(name) && !"Concise".equals(name)
&& !"DimacsStringSolver".equals(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