essential_check::state_read_vm::constraint

Function step_on_total_control_flow

source 
pub fn step_on_total_control_flow(
    op: TotalControlFlow,
    stack: &mut Stack,
    pc: usize,
) -> Result<Option<ProgramControlFlow>, OpError>
Expand description

Step forward constraint checking by the given total control flow operation.