Disable checkpoint logging

MaartenS11 · MaartenS11 · commit 02c1bb7a322c · 2026-04-13T17:45:25.000+02:00
diff --git a/src/main/kotlin/be/ugent/topl/mio/debugger/Debugger.kt b/src/main/kotlin/be/ugent/topl/mio/debugger/Debugger.kt
@@ -239,7 +239,11 @@ open class Debugger(private val connection: Connection, start: Boolean = true, p
         }
     }
 
+    private val checkpointLogging = false
     fun printCheckpoints(binaryInfo: WasmInfo? = null) {
+        if (!checkpointLogging)
+            return
+
         println("Checkpoints:")
         for (checkpoint in checkpoints) {
             if (checkpoint == null) {

Original file line number	Diff line number	Diff line change
`@@ -239,7 +239,11 @@ open class Debugger(private val connection: Connection, start: Boolean = true, p`
`239`	`239`	`}`
`240`	`240`	`}`
`241`	`241`
	`242`	`+ private val checkpointLogging = false`
`242`	`243`	`fun printCheckpoints(binaryInfo: WasmInfo? = null) {`
	`244`	`+ if (!checkpointLogging)`
	`245`	`+ return`
	`246`	`+`
`243`	`247`	`println("Checkpoints:")`
`244`	`248`	`for (checkpoint in checkpoints) {`
`245`	`249`	`if (checkpoint == null) {`