SSTG-0.1.0.5: STG Symbolic Execution
SSTG.Utils.FileIO
Description
File IO
writeState :: FilePath -> State -> IO () Source #
readState :: FilePath -> IO (Maybe State) Source #
writePrettyState :: FilePath -> ([LiveState], [DeadState]) -> IO () Source #