Use logger in WOODState to reduce console spam

MaartenS11 · MaartenS11 · commit b0ff78d3e0b6 · 2026-05-20T16:37:15.000+02:00
diff --git a/build.gradle.kts b/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 {
diff --git a/src/main/kotlin/be/ugent/topl/mio/concolic/Analyse.kt b/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) {
diff --git a/src/main/kotlin/be/ugent/topl/mio/woodstate/WOODState.kt b/src/main/kotlin/be/ugent/topl/mio/woodstate/WOODState.kt

Original file line number	Diff line number	Diff line change
`@@ -29,6 +29,9 @@ dependencies {`
`29`	`29`	`// Needed for AssemblyScript source mapping:`
`30`	`30`	`//implementation("com.atlassian.sourcemap:sourcemap:2.0.0")`
`31`	`31`	`implementation("com.google.code.gson:gson:2.11.0")`
	`32`	`+`
	`33`	`+ // Logging`
	`34`	`+ implementation("ch.qos.logback:logback-classic:1.5.32")`
`32`	`35`	`}`
`33`	`36`
`34`	`37`	`tasks.test {`
Original file line number	Diff line number	Diff line change
`@@ -55,7 +55,7 @@ fun process(r: ConcolicAnalysisResult): MultiverseNode {`
`55`	`55`	`}`
`56`	`56`
`57`	`57`	`fun processPaths(paths: List<SymbolicValueMapping>, currentTimeStep: Int = 0): MultiverseNode {`
`58`		`- println("" + currentTimeStep + " " + paths[0].time_step)`
	`58`	`+ //println("" + currentTimeStep + " " + paths[0].time_step)`
`59`	`59`	`var currentNode: MultiverseNode`
`60`	`60`	`val primitiveNode = PrimitiveNode(paths[0].primitive, paths[0].arg)`
`61`	`61`	`val startNode = if (currentTimeStep != paths[0].time_step) {`