Use logger in WOODState to reduce console spam

Author: MaartenS11

build.gradle.kts

@@ -29,6 +29,9 @@ dependencies {
     // Needed for AssemblyScript source mapping:
     //implementation("com.atlassian.sourcemap:sourcemap:2.0.0")
     implementation("com.google.code.gson:gson:2.11.0")
+
+    // Logging
+    implementation("ch.qos.logback:logback-classic:1.5.32")
 }
 
 tasks.test {

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

@@ -55,7 +55,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

@@ -395,12 +395,14 @@ open class Debugger(private val connection: Connection, start: Boolean = true, p
     fun reset() = send(13)
 
     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)