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

Remove volatile for ExitCode in computation modes.

parent 07658be3
Pipeline #5846 failed with stages
in 28 minutes and 52 seconds
......@@ -47,7 +47,7 @@ import org.sat4j.tools.Backbone;
*
*/
final class DecisionMode implements ILauncherMode {
private volatile ExitCode exitCode = ExitCode.UNKNOWN;
private ExitCode exitCode = ExitCode.UNKNOWN;
private int nbSolutionFound;
private PrintWriter out;
private long beginTime;
......
......@@ -52,7 +52,7 @@ import org.sat4j.tools.LexicoDecorator;
*/
final class OptimizationMode implements ILauncherMode {
private int nbSolutions;
private volatile ExitCode exitCode = ExitCode.UNKNOWN;
private ExitCode exitCode = ExitCode.UNKNOWN;
private boolean isIncomplete = false;
private PrintWriter out;
private long beginTime;
......
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