Commit b5b48253 authored by Daniel Le Berre's avatar Daniel Le Berre

Better fix for sat4j-sat NPE.

parent 49670f68
Pipeline #5569 failed with stages
in 155 minutes and 33 seconds
......@@ -63,7 +63,7 @@ final class DecisionMode implements ILauncherMode {
out.println(ANSWER_PREFIX + exitCode);
if (exitCode != ExitCode.UNKNOWN
&& exitCode != ExitCode.UNSATISFIABLE) {
int[] model = solver.model();
int[] model = problem.model();
if (System.getProperty("prime") != null) {
int initiallength = model.length;
logger.log("returning a prime implicant ...");
......
......@@ -270,6 +270,7 @@ public class Launcher extends AbstractLauncher implements ILogAble {
break;
default:
setLauncherMode(ILauncherMode.DECISION);
this.problem = asolver;
break;
}
......
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