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

Language.QBE.Simulator.Explorer

Synopsis

Documentation

defSolver :: IO Solver Source #

logSolver :: Handle -> IO Solver Source #

data PathResult Source #

Constructors

PathResult 

Fields

Instances

Instances details
Show PathResult Source # 
Instance details

Defined in Language.QBE.Simulator.Explorer

Methods

showsPrec :: Int -> PathResult -> ShowS #

show :: PathResult -> String #

showList :: [PathResult] -> ShowS #

Eq PathResult Source # 
Instance details

Defined in Language.QBE.Simulator.Explorer

Methods

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

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

data Engine Source #

newEngine :: Env -> Solver -> Engine Source #

Create a new Engine, the caller is responsible for calling stop on the given Solver.

explorePath :: SimState a -> StateT Engine IO Bool Source #

exploreFunc :: Engine -> FuncDef -> [(String, ExtType)] -> IO [PathResult] Source #