Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Symbolic STG Execution Engine
Documentation
loadState :: Program -> LoadResult Source #
Load State Guess the main function.
loadStateEntry :: String -> Program -> LoadResult Source #
Specified Entry Point Load
data LoadResult Source #
Load Result
Run Flags
Step Type