Cleaned up logging a bit more

Author: MaartenS11

src/main/kotlin/be/ugent/topl/mio/concolic/Analyse.kt

@@ -78,7 +78,7 @@ fun process(r: ConcolicAnalysisResult): MultiverseNode {
 }
 
 fun processPaths(paths: List<SymbolicValueMapping>, currentTimeStep: Int = 0): MultiverseNode {
-    println("" + currentTimeStep + " " + paths[0].time_step)
+    //println("" + currentTimeStep + " " + paths[0].time_step)
     var currentNode: MultiverseNode
     val primitiveNode = PrimitiveNode(paths[0].primitive, paths[0].arg)
     val startNode = if (currentTimeStep != paths[0].time_step) {

src/main/kotlin/be/ugent/topl/mio/debugger/Debugger.kt

@@ -401,12 +401,14 @@ open class Debugger(private val connection: Connection, start: Boolean = true, p
     }
 
     fun snapshot(): String {
+        println("Taking snapshot")
         send(60)
         return messageQueue.waitForResponse {
             WOODState.fromLine(it)
         }.first
     }
     fun snapshotFull(): Pair<String, WOODDumpResponse> {
+        println("Taking snapshot")
         send(60)
         return messageQueue.waitForResponse {
             WOODState.parseSnapshot(it)