Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data CruxLLVMLogMessage Source #
Breakpoint Text | |
ClangInvocation [Text] | |
Executable Text | |
FailedToBuildCounterexampleExecutable | |
SimulatingFunction Text | |
UsingPointerWidthForFile Integer Text | |
TranslationWarning Text Text Text |
Instances
type SupportsCruxLLVMLogMessage msgs = ?injectCruxLLVMLogMessage :: CruxLLVMLogMessage -> msgs Source #
sayCruxLLVM :: Logs msgs => SupportsCruxLLVMLogMessage msgs => CruxLLVMLogMessage -> IO () Source #