Function test_generation::transitions::stack_push_register_borrow
source · pub fn stack_push_register_borrow(
state: &AbstractState,
mutability: Mutability
) -> Result<AbstractState, VMError>
Expand description
Push a reference to a register value with the given mutability.