Commit 2ed7f268 authored by Jonathan Shahen's avatar Jonathan Shahen
Browse files

[HOTFIX] print correct commandline argument

parent 08e0bd37
......@@ -150,7 +150,7 @@ public class RunSolverCNFSAT implements RunSolver {
/*TIMING*/ timing.toggleTimer(tp + "RunSolverCNFSAT::run::binarySearch::exec::" + searchVal);
String[] exec_cmd = {solverloc, commands, cnfloc};
logger.log(Level.INFO, "[CNF Solver " + tp + "] Executing command: " + exec_cmd);
logger.log(Level.INFO, "[CNF Solver " + tp + "] Executing command: " + Arrays.toString(exec_cmd));
Process p = Runtime.getRuntime().exec(exec_cmd);
// Activate the following 'if,' if we want to put in a time-limit for every decision instance.
......
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