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.