successor
open override fun successorPcs(instruction: Int, currentPc: Int): List<Int>
Content copied to clipboard
Given an instruction and program counter, answer the list of successor program counters that should be explored. For example, a BRANCH_FORWARD instruction will need to visit both the next program counter and the branch target.
Return
The list of successor program counters.
Parameters
instruction
The encoded parsing instruction at the specified program counter.
current
The current program counter.