evm v0.1.2 EVM.Instruction.Memory
When calling instructions, we may adjust the number
of active words in the machine state. These functions
provide a simple way to determine the number of words
after an instruction would be called. This wraps anywhere
you might see μ'_i
in the Yellow Paper.
Link to this section Summary
Link to this section Functions
Link to this function
active_words_after(instruction, state, machine_state, exec_env)
active_words_after(EVM.Instruction.instruction, EVM.state, EVM.MachineState.t, EVM.ExecEnv.t) :: integer