SSTG-0.1.0.5: STG Symbolic Execution

Safe HaskellNone
LanguageHaskell2010

SSTG.Utils.FileIO

Description

File IO

Documentation

writeState :: FilePath -> State -> IO () Source #

readState :: FilePath -> IO (Maybe State) Source #

writePrettyState :: FilePath -> ([LiveState], [DeadState]) -> IO () Source #