Commit 5f62ec2f authored by anIzycheva's avatar anIzycheva

comment out solver debug println statements

parent 92908ac1
......@@ -135,7 +135,7 @@ abstract class SMTLibSolver(val context: Context) {
commandBuffer.write("\n")
commandBuffer.flush()
System.out.println("CMD: "+cmd)
// System.out.println("CMD: "+cmd)
interpreter.eval(cmd) match {
case err @ ErrorResponse(msg) if !rawOut =>
reporter.warning(s"Unexpected error from $targetName solver: $msg")
......@@ -144,7 +144,7 @@ abstract class SMTLibSolver(val context: Context) {
addError()
err
case res =>
System.out.println(res)
// System.out.println(res)
res
}
}
......@@ -218,7 +218,7 @@ abstract class SMTLibSolver(val context: Context) {
emit(cmd) match {
case GetValueResponseSuccess(valuationPairs) =>
System.out.println("Val Pairs: "+valuationPairs)
// System.out.println("Val Pairs: "+valuationPairs)
new Model(valuationPairs.collect {
case (SimpleSymbol(sym), value) if variables.containsB(sym) =>
val id = variables.toA(sym)
......
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