SSTG-0.1.0.5: STG Symbolic Execution

Safe HaskellSafe
LanguageHaskell2010

SSTG.Core.Execution.Stepping

Documentation

type LiveState = ([Rule], State) Source #

type DeadState = ([Rule], State) Source #

runBoundedBFS :: Int -> State -> ([LiveState], [DeadState]) Source #

runBoundedBFSLogged :: Int -> State -> [([LiveState], [DeadState])] Source #

runBoundedDFS :: Int -> State -> ([LiveState], [DeadState]) Source #

runBoundedDFSLogged :: Int -> State -> [([LiveState], [DeadState])] Source #