Commit 8bd710a3 authored by Jonathan Shahen's avatar Jonathan Shahen
Browse files

Adding logging lines

parent 2ed7f268
......@@ -171,12 +171,15 @@ public class RunSolverCNFSAT implements RunSolver {
// save the certificate
List<String> lines = new LinkedList<String>();
boolean recordlines = false;
int lineCount = 0;
for (String str = null; (str = solveroutput.readLine()) != null;) {
lineCount++;
// System.out.println(str); // DEBUG LINE
if (recordlines) {
lines.add(str);
if (str.contains(Integer.toString(c.getInputs().size()))) {
// System.out.println("Breaking at: "+str+", #inputs = "+c.getInputs().size());
logger.fine("[CNF Solver " + tp + "] Breaking at: " + str + ", #inputs = "
+ c.getInputs().size());
break;
}
// else
......@@ -189,6 +192,9 @@ public class RunSolverCNFSAT implements RunSolver {
recordlines = true;
}
}
logger.fine("[CNF Solver " + tp + "] Counted " + Integer.toString(lineCount)
+ " lines of output from solver.");
p.destroyForcibly();
/*TIMING*/ timing.toggleTimer(tp + "RunSolverCNFSAT::run::binarySearch::exec::" + searchVal);
......
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