Skip to content

Commit c6c4840

Browse files
committed
Remove sometimes falsely thrown exception + reset root node fully
1 parent 50a1c4a commit c6c4840

2 files changed

Lines changed: 1 addition & 4 deletions

File tree

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

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,6 @@ open class Debugger(private val connection: Connection, start: Boolean = true, p
6666
//println(checkpoint)
6767

6868
if (checkpoint.instructions_executed == 0 && checkpoints.size > 0) {
69-
if (checkpoint.snapshot.pc != checkpoints.last()!!.snapshot.pc) {
70-
throw RuntimeException("Received a checkpoint with a different pc but with 0 executed instructions since the last checkpoint!")
71-
}
7269
System.err.println("WARNING: Received a checkpoint that we already have!")
7370
continue
7471
}

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -375,7 +375,7 @@ class InteractiveDebugger(
375375
debugger.startReading()
376376
debugger.setSnapshotPolicy(Debugger.SnapshotPolicy.Tracing(listOf(ExecutionState.ProgramCounter)))
377377
debugger.reset()
378-
debugger.graph.currentNode.removeAllChildren()
378+
debugger.graph.currentNode = MultiverseNode()
379379
pause()
380380
}
381381

0 commit comments

Comments
 (0)