print prover lines

viperproject · Jan 18, 2024 · 9b39fcc · 9b39fcc
1 parent e8f457d
commit 9b39fcc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/decider/ProverStdIO.scala b/src/main/scala/decider/ProverStdIO.scala
@@ -444,7 +444,7 @@ abstract class ProverStdIO(uniqueId: String,
 
     while (repeat) {
       result = readLineFromInput()
-      if (result.toLowerCase != "success") comment(result)
+      if (result.toLowerCase != "success") { println(s"[Benchmarking] prover line: $result"); comment(result) }
 
       val warning = result.startsWith("WARNING")
       if (warning) {