hevm-0.42.0: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.VMTest

Contents

Synopsis

Documentation

data Case Source #

Instances
Show Case Source # 
Instance details

Defined in EVM.VMTest

Methods

showsPrec :: Int -> Case -> ShowS #

show :: Case -> String #

showList :: [Case] -> ShowS #

parseBCSuite :: ByteString -> Either String (Map String Case) Source #

initTx :: VM -> VM Source #

Given a valid tx loaded into the vm state, subtract gas payment from the origin, increment the nonce and pay receiving address

setupTx :: Addr -> Addr -> Word -> Word -> Map Addr Contract -> Map Addr Contract Source #

Increments origin nonce and pays gas deposit

vmForCase :: Case -> VM Source #

checkExpectation :: Bool -> Case -> VM -> IO Bool Source #

Orphan instances