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

EVM.Exec

Documentation

run :: EVM s (VM s) Source #

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