EVM.Dev

Documentation

checkEquiv :: Typeable a => Expr a -> Expr a -> IO ()

runDappTest :: FilePath -> IO ()

testOpts :: SolverGroup -> FilePath -> FilePath -> IO UnitTestOptions

doTest :: IO ()

analyzeDai :: IO ()

daiExpr :: IO (Expr End)

analyzeVat :: IO ()

analyzeDeposit :: IO ()

reachable' :: Bool -> ByteString -> IO ()

showExpr :: ByteString -> IO ()

summaryStore :: IO ByteString

safeAdd :: IO ByteString

testContract :: IO ByteString

vat :: IO ByteString

initVm :: ByteString -> VM

buildExpr :: SolverGroup -> ByteString -> IO (Expr End)

Builds the Expr for the given evm bytecode object

dai :: IO ByteString