Skip to content

Fix todo in assertion a_valid_jump.

Created by: silabs-oivind

a_valid_jump cannot assert that we don't jump when ID is halted, so it was decided to add an assertion verifying that the register used for JALR is stable until JALR retires.

Merge request reports

Loading