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

Safe Haskell	None
Language	GHC2021

Language.QBE.Backend.DFS

Documentation

data PathSel Source #

newPathSel :: PathSel Source #

trackTrace :: PathSel -> ExecTrace -> PathSel Source #

findUnexplored :: Solver -> [SExpr] -> PathSel -> IO (Maybe Model, PathSel) Source #