if the following are true:- instruction #22 is
addi dst=1 src=1 imm=3 - the PC at time 22 = 22
- value of cell 125 at time 22 = 2
addi dst=1 src=1 imm=3then value of cell 125 at time 23 = 2
Start from the conclusion and work back up the proof. Click the arrow to show the parents.