Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- 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)
- dai :: IO ByteString
Documentation
runDappTest :: FilePath -> IO () Source #
testOpts :: SolverGroup -> FilePath -> FilePath -> IO UnitTestOptions Source #
analyzeDai :: IO () Source #
analyzeVat :: IO () Source #
analyzeDeposit :: IO () Source #
reachable' :: Bool -> ByteString -> IO () Source #
showExpr :: ByteString -> IO () Source #
safeAdd :: IO ByteString Source #
vat :: IO ByteString Source #
initVm :: ByteString -> VM Source #
buildExpr :: SolverGroup -> ByteString -> IO (Expr End) Source #
Builds the Expr for the given evm bytecode object
dai :: IO ByteString Source #