Skip to content

Commit 2f21bd4

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

2 files changed

Lines changed: 2 additions & 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: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ import be.ugent.topl.mio.debugger.ConstraintParser
77
import be.ugent.topl.mio.debugger.Debugger
88
import be.ugent.topl.mio.debugger.ExecutionState
99
import be.ugent.topl.mio.debugger.MultiverseDebugger
10+
import be.ugent.topl.mio.debugger.MultiverseNode
1011
import be.ugent.topl.mio.debugger.PrimitiveNode
1112
import be.ugent.topl.mio.sourcemap.SourceMap
1213
import be.ugent.topl.mio.woodstate.Checkpoint
@@ -375,7 +376,7 @@ class InteractiveDebugger(
375376
debugger.startReading()
376377
debugger.setSnapshotPolicy(Debugger.SnapshotPolicy.Tracing(listOf(ExecutionState.ProgramCounter)))
377378
debugger.reset()
378-
debugger.graph.currentNode.removeAllChildren()
379+
debugger.graph.currentNode = MultiverseNode()
379380
pause()
380381
}
381382

0 commit comments

Comments
 (0)