Function test_generation::transitions::stack_push

source · 
pub fn stack_push(
    state: &AbstractState,
    abstract_value: AbstractValue
) -> Result<AbstractState, VMError>
Expand description

Push given abstract_value to the top of the stack.