Function test_generation::transitions::stack_struct_borrow_field

source · 
pub fn stack_struct_borrow_field(
    state: &AbstractState,
    field_index: FieldHandleIndex
) -> Result<AbstractState, VMError>
Expand description

Push the field at field_index of a struct as an AbstractValue to the stack