Commit 8c3b0743 authored by leberre's avatar leberre

avoid running the DetectCards solver because the contain a System.exit() which breaks unit tests

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2562 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent faac7810
......@@ -49,7 +49,7 @@ public class CardConstrLearningSolverLauncher {
reader.parseInstance(instance);
} catch (Exception e) {
e.printStackTrace();
System.exit(1);
throw new IllegalStateException(e);
}
solver.setVerbose(verbose);
if (System.getProperties().getProperty("nopreprocessing") != null)
......
......@@ -61,9 +61,10 @@ public class BugSAT34 {
Collection<Object[]> solvers = new ArrayList<Object[]>();
for (String name : SolverFactory.instance().solverNames()) {
if (!"DimacsOutput".equals(name) && !"OPBStringSolver".equals(name)
&& !"DetectCards".equals(name)) {
&& !name.contains("DetectCards")) {
solvers.add(new Object[] {
SolverFactory.instance().createSolverByName(name), name });
SolverFactory.instance().createSolverByName(name),
name });
}
}
return solvers;
......
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