Crux.LLVM.Log

Documentation

data CruxLLVMLogMessage

Constructors

Breakpoint Text

ClangInvocation [Text]

Executable Text

FailedToBuildCounterexampleExecutable

SimulatingFunction Text

UsingPointerWidthForFile Integer Text

ParseWarning Text

TranslationWarning Text Text Text

Instances

ToJSON CruxLLVMLogMessage

Defined in Crux.LLVM.Log

Methods

toJSON :: CruxLLVMLogMessage -> Value

toEncoding :: CruxLLVMLogMessage -> Encoding

toJSONList :: [CruxLLVMLogMessage] -> Value

toEncodingList :: [CruxLLVMLogMessage] -> Encoding

omitField :: CruxLLVMLogMessage -> Bool

Generic CruxLLVMLogMessage

Defined in Crux.LLVM.Log

Associated Types

type Rep CruxLLVMLogMessage :: Type -> Type

Methods

from :: CruxLLVMLogMessage -> Rep CruxLLVMLogMessage x

to :: Rep CruxLLVMLogMessage x -> CruxLLVMLogMessage

type Rep CruxLLVMLogMessage

Defined in Crux.LLVM.Log

type Rep CruxLLVMLogMessage = D1 ('MetaData "CruxLLVMLogMessage" "Crux.LLVM.Log" "crux-llvm-0.10-2DunQ2TwtSI7qa1EPeORx0" 'False) (((C1 ('MetaCons "Breakpoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "ClangInvocation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]))) :+: (C1 ('MetaCons "Executable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "FailedToBuildCounterexampleExecutable" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SimulatingFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "UsingPointerWidthForFile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "ParseWarning" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "TranslationWarning" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))))

type SupportsCruxLLVMLogMessage msgs = ?injectCruxLLVMLogMessage :: CruxLLVMLogMessage -> msgs

cruxLLVMLogMessageToSayWhat :: CruxLLVMLogMessage -> SayWhat

sayCruxLLVM :: Logs msgs => SupportsCruxLLVMLogMessage msgs => CruxLLVMLogMessage -> IO ()