Commit 08e0bd37 authored by Jonathan Shahen's avatar Jonathan Shahen
Browse files

[HOTFIX] file not found on Linux

parent fde8947a
......@@ -149,7 +149,7 @@ public class RunSolverCNFSAT implements RunSolver {
// TODO Delete objects?
/*TIMING*/ timing.toggleTimer(tp + "RunSolverCNFSAT::run::binarySearch::exec::" + searchVal);
String exec_cmd = "\"" + solverloc + "\" " + commands + " \"" + cnfloc + "\"";
String[] exec_cmd = {solverloc, commands, cnfloc};
logger.log(Level.INFO, "[CNF Solver " + tp + "] Executing command: " + exec_cmd);
Process p = Runtime.getRuntime().exec(exec_cmd);
......
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