Tracing mode support

Author: MaartenS11

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

@@ -458,6 +458,14 @@ open class Debugger(private val connection: Connection, start: Boolean = true, p
                 return super.serialize() + HexaEncoder.serializeUInt32BE(interval)
             }
         }
+        data class Tracing(val states: List<ExecutionState>, val minimumArgCount: Int = 1) : SnapshotPolicy(3) {
+            override fun serialize(): String {
+                return super.serialize() +
+                        HexaEncoder.convertToLEB128(minimumArgCount) +
+                        HexaEncoder.convertToLEB128(states.size) +
+                        states.joinToString("") { HexaEncoder.convertToLEB128(it.ordinal + 1) }
+            }
+        }
     }
 
     fun setSnapshotPolicy(policy: SnapshotPolicy) {

src/main/kotlin/be/ugent/topl/mio/woodstate/WOODState.kt

@@ -156,7 +156,8 @@ data class Checkpoint(
     val instructions_executed: Int,
     val fidx_called: Int?,
     val args: List<Int>?,
-    val snapshot: WOODDumpResponse
+    val snapshot: WOODDumpResponse,
+    val returns: List<Int>?
 )
 
 class WOODState(woodResponse: WOODDumpResponse) {