Commit 49670f68 authored by Daniel Le Berre's avatar Daniel Le Berre

Fix for NPE found by Emmanuel.

parent 3436f41f
Pipeline #5568 failed with stages
in 173 minutes and 2 seconds
......@@ -63,7 +63,7 @@ final class DecisionMode implements ILauncherMode {
out.println(ANSWER_PREFIX + exitCode);
if (exitCode != ExitCode.UNKNOWN
&& exitCode != ExitCode.UNSATISFIABLE) {
int[] model = problem.model();
int[] model = solver.model();
if (System.getProperty("prime") != null) {
int initiallength = model.length;
logger.log("returning a prime implicant ...");
......
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