Struct evm_adapters::fuzz::FuzzedExecutor

pub struct FuzzedExecutor<'a, E, S> { /* fields omitted */ }

Wrapper around any Evm implementor which provides fuzzing support using proptest.

After instantiation, calling fuzz will proceed to hammer the deployed smart contract with inputs, until it finds a counterexample. The provided TestRunner contains all the configuration which can be overriden via environment variables

Implementations

impl<'a, S, E: Evm<S>> FuzzedExecutor<'a, E, S>

pub fn as_mut(&self) -> RefMut<'_, &'a mut E>

Returns a mutable reference to the fuzzer’s internal EVM instance

pub fn new(evm: &'a mut E, runner: TestRunner, sender: Address) -> Self

Instantiates a fuzzed executor EVM given a testrunner

pub fn fuzz(
    &self,
    func: &Function,
    address: Address,
    should_fail: bool
) -> FuzzTestResult<E::ReturnReason> where
    S: Clone, 

Fuzzes the provided function, assuming it is available at the contract at address If should_fail is set to true, then it will stop only when there’s a success test case.

Returns a list of all the consumed gas and calldata of every fuzz case

Trait Implementations

impl<'a, E: Debug, S: Debug> Debug for FuzzedExecutor<'a, E, S>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.