@@ -311,12 +311,12 @@ class DebuggerTests : DebuggerTestBase() {
311311 val wasmFile = " /home/maarten/Documents/Projects/maarten-thesis-23-24/samples/led_demo/led_demo.wasm"
312312 val connection = ProcessConnection (wdcliPath, getFile(wasmFile).path, " --no-socket" )
313313 val binaryInfo = getBinaryInfo(config.symbolicWdcliPath, getFile(wasmFile).absolutePath)
314- val debugger = MultiverseDebugger (connection, WasmBinary (File (wasmFile), binaryInfo), config.symbolicWdcliPath)
314+ val debugger = MultiverseDebugger (connection, WasmBinary (File (wasmFile), binaryInfo.getOrThrow() ), config.symbolicWdcliPath)
315315 debugger.setSnapshotPolicy(Debugger .SnapshotPolicy .Checkpointing (10 ))
316316 debugger.pause()
317317 // debugger.continueFor(5)
318318 debugger.step(5 )
319- debugger.printCheckpoints(binaryInfo)
319+ debugger.printCheckpoints(binaryInfo.getOrThrow() )
320320 debugger.stepBack(1 )
321321 debugger.step(1 )
322322 debugger.close()
@@ -327,7 +327,7 @@ class DebuggerTests : DebuggerTestBase() {
327327 val wasmFile = " blink.wasm"
328328 val connection = ProcessConnection (wdcliPath, getFile(wasmFile).path, " --no-socket" )
329329 val binaryInfo = getBinaryInfo(config.symbolicWdcliPath, getFile(wasmFile).absolutePath)
330- val debugger = MultiverseDebugger (connection, WasmBinary (File (wasmFile), binaryInfo), config.symbolicWdcliPath)
330+ val debugger = MultiverseDebugger (connection, WasmBinary (File (wasmFile), binaryInfo.getOrThrow() ), config.symbolicWdcliPath)
331331 println (" Running $wdcliPath " )
332332 debugger.pause()
333333 // debugger.addPrimitiveOverride("chip_digital_read", 0, 5)
0 commit comments