essential_check::constraint_vm

Function step_op_stack

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

Step forward constraint checking by the given stack operation.