Commit 27e993f6 authored by Jonathan Shahen's avatar Jonathan Shahen
Browse files

bug fix: adding only empty commands

parent f72006c1
......@@ -152,7 +152,7 @@ public class RunSolverCNFSAT implements RunSolver {
ArrayList<String> exec_cmd = new ArrayList<>();
exec_cmd.add(solverloc);
if (commands.isEmpty()) {
if (!commands.isEmpty()) {
exec_cmd.add(commands);
}
exec_cmd.add(cnfloc);
......
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