Closed arasuarun closed 7 months ago
Adds a constraint for the PC (to ensure soundness) at the start. Removes step_num from the state.
Adds a constraint for the PC (to ensure soundness) at the start. Removes step_num from the state.