Removed duplicated argument from InteractiveDebugger

the config already contains the symbolic wdcli path

Author: MaartenS11

src/main/kotlin/be/ugent/topl/mio/Main.kt

@@ -88,9 +88,9 @@ fun main(args: Array<String>) {
             else
                 FlatDarkLaf.setup()
             if (args.size == 2)
-                InteractiveDebugger(connection, config.symbolicWdcliPath, sourceMapping, config = config)
+                InteractiveDebugger(connection, sourceMapping, config = config)
             else
-                InteractiveDebugger(connection, config.symbolicWdcliPath, sourceMapping, args[2], config = config)
+                InteractiveDebugger(connection, sourceMapping, args[2], config = config)
         }
         "repl" -> {
             val connection =

src/main/kotlin/be/ugent/topl/mio/ui/InteractiveDebugger.kt

@@ -36,16 +36,15 @@ import kotlin.concurrent.thread
 
 class InteractiveDebugger(
     connection: Connection,
-    symbolicWdcliPath: String,
     private val sourceMapping: SourceMap? = null,
     private val wasmFile: String = "/home/maarten/Documents/School/Thesis/thesis-git/wardbg/simple-sym-test.wasm",
     private val config: DebuggerConfig
 ) : JFrame("WARDuino Debugger") {
-    private val binaryInfo = getBinaryInfo(symbolicWdcliPath, File(wasmFile).absolutePath)
+    private val binaryInfo = getBinaryInfo(config.wdcliPath, File(wasmFile).absolutePath)
     private val debugger = MultiverseDebugger(
         connection,
         WasmBinary(File(wasmFile), binaryInfo),
-        symbolicWdcliPath,
+        config.symbolicWdcliPath,
         false,
         this::onGraphUpdate,
         this::onMockingUpdate,

src/main/kotlin/be/ugent/topl/mio/ui/StartScreen.kt

@@ -90,7 +90,7 @@ open class StartScreen(config: DebuggerConfig) : AboutScreen(config) {
             return false
         }
         val sourceMapping = AsSourceMapping(File(binary.path + ".map").readText())
-        InteractiveDebugger(connection, config.symbolicWdcliPath, sourceMapping, binary.path, config = config)
+        InteractiveDebugger(connection, sourceMapping, binary.path, config = config)
         return true
     }
 }