hevm-0.53.0: Symbolic EVM Evaluator
Safe HaskellSafe-Inferred
LanguageGHC2021

EVM.Exec

Documentation

exec :: VMOps t => EVM t s (VMResult t s) Source #

run :: VMOps t => EVM t s (VM t s) Source #

execWhile :: (VM t s -> Bool) -> State (VM t s) Int Source #