qute-symex-0.1.0: A symbolic execution engine for the QBE intermediate language.
Safe HaskellNone
LanguageGHC2021

Language.QBE.Backend.Tracer

Documentation

data Branch Source #

Constructors

Branch Bool BitVector 

Instances

Instances details
Show Branch Source # 
Instance details

Defined in Language.QBE.Backend.Tracer

Methods

showsPrec :: Int -> Branch -> ShowS #

show :: Branch -> String #

showList :: [Branch] -> ShowS #

Eq Branch Source # 
Instance details

Defined in Language.QBE.Backend.Tracer

Methods

(==) :: Branch -> Branch -> Bool #

(/=) :: Branch -> Branch -> Bool #

newBranch :: BitVector -> Branch Source #

fromBranch :: Branch -> Branch -> Branch Source #

type ExecTrace = [(Bool, Branch)] Source #

newExecTrace :: ExecTrace Source #

toSExprs :: ExecTrace -> [SExpr] Source #

appendBranch :: ExecTrace -> Bool -> Branch -> ExecTrace Source #

appendCons :: ExecTrace -> BitVector -> ExecTrace Source #

solveTrace :: Solver -> [SExpr] -> ExecTrace -> ExecTrace -> IO (Maybe Model) Source #