EVM.VMTest

Documentation

data Case

Instances

Show Case

Defined in EVM.VMTest

Methods

showsPrec :: Int -> Case -> ShowS

show :: Case -> String

showList :: [Case] -> ShowS

data BlockchainCase

Instances

Show BlockchainCase

Defined in EVM.VMTest

Methods

showsPrec :: Int -> BlockchainCase -> ShowS

show :: BlockchainCase -> String

showList :: [BlockchainCase] -> ShowS

FromJSON BlockchainCase

Defined in EVM.VMTest

Methods

parseJSON :: Value -> Parser BlockchainCase

parseJSONList :: Value -> Parser [BlockchainCase]

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

initTx :: VM -> VM

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

Increments origin nonce and pays gas deposit

vmForCase :: Case -> VM

checkExpectation :: HasCallStack => Bool -> Case -> VM -> IO Bool

Orphan instances

FromJSON Contract

Methods

parseJSON :: Value -> Parser Contract

parseJSONList :: Value -> Parser [Contract]