SSTG-0.1.0.8: STG Symbolic Execution
SSTG.Utils.Printing
Description
Pretty Printing
Synopsis
pprStateStr :: State -> String Source #
Print State.
State
pprLivesDeadsStr :: ([LiveState], [DeadState]) -> String Source #
Print LiveState and DeadState that yield from execution snapshots.
LiveState
DeadState
pprBindingStr :: Binding -> String Source #
Print Binding.
Binding