Assertion list
address register (subgroup of register ) → ReceivesAction
Results from Ascent++: 3
address register → ReceivesAction → updated with effective address … 0.49
address register → ReceivesAction → designated by the instruction 0.25
address register → ReceivesAction → updated 0.25