hevm-0.17: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.VMTest

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 #

FromJSON Case Source # 
Instance details

Defined in EVM.VMTest

Methods

parseJSON :: Value -> Parser Case #

parseJSONList :: Value -> Parser [Case] #

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

vmForCase :: Case -> VM Source #

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

interpret :: Stepper a -> EVM a Source #