Trait evmil::evm::Stepper

pub trait Stepper {
    type Result;

    fn step(self) -> Self::Result;
}

A stepper is a trait for describing a single execution step of the EVM. This is subtle because it can be abstract or concrete.

Required Associated Types

type Result

Required Methods

fn step(self) -> Self::Result

Take a single step of the EVM producing a result of some kind (e.g. an updated EVM state).

Implementors

impl<'a> Stepper for ConcreteEvm<'a>

type Result = ConcreteResult<'a>

impl<'a, S: Stack + Clone + JoinSemiLattice> Stepper for Evm<'a, S>where
    S::Word: JoinLattice + Concretizable<Item = w256>,

type Result = (Evm<'a, S>, Evm<'a, S>)