Function test_generation::transitions::register_dereference

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

Dereference the value stored in the register. If the value is not a reference, or the register is empty, return an error.