Skip to content

Commit

Permalink
fixup! fixup! feat!: add log_step and verify_step
Browse files Browse the repository at this point in the history
  • Loading branch information
mpernambuco committed Oct 7, 2024
1 parent 357d1c8 commit 1cd3f0f
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/record-step-state-access.h
Original file line number Diff line number Diff line change
Expand Up @@ -168,7 +168,6 @@ class record_step_state_access : public i_state_access<record_step_state_access,
}

uint64_t do_read_x(int reg) const {
assert(reg != 0);
touch_page(shadow_state_get_x_abs_addr(reg));
return m_m.get_state().x[reg];
}
Expand Down

0 comments on commit 1cd3f0f

Please sign in to comment.