Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
type VerifierFailureAction = CInt Source #
verifyFunction :: ValueRef -> VerifierFailureAction -> IO CInt Source #
verifyModule :: ModuleRef -> VerifierFailureAction -> Ptr CString -> IO CInt Source #
viewFunctionCFG :: ValueRef -> IO () Source #
viewFunctionCFGOnly :: ValueRef -> IO () Source #