Commit 86250916 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Added a comment and reverted "unnecessary tests".

parent af5f63f9
Pipeline #20024 passed with stages
in 46 minutes and 51 seconds
...@@ -158,10 +158,15 @@ public final class DecisionMode implements ILauncherMode { ...@@ -158,10 +158,15 @@ public final class DecisionMode implements ILauncherMode {
this.solver = (ISolver) problem; this.solver = (ISolver) problem;
try { try {
// that call can change the value of this.exitCode
if (problem.isSatisfiable()) { if (problem.isSatisfiable()) {
this.exitCode = ExitCode.SATISFIABLE; if (this.exitCode == ExitCode.UNKNOWN) {
this.exitCode = ExitCode.SATISFIABLE;
}
} else { } else {
this.exitCode = ExitCode.UNSATISFIABLE; if (this.exitCode == ExitCode.UNKNOWN) {
this.exitCode = ExitCode.UNSATISFIABLE;
}
} }
} catch (TimeoutException e) { } catch (TimeoutException e) {
logger.log("timeout"); logger.log("timeout");
......
Supports Markdown
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