SSTG-0.1.1.3: STG Symbolic Execution

Safe HaskellNone
LanguageHaskell2010

SSTG.Utils.Printing

Description

Pretty Printing

Synopsis

Documentation

pprStateStr :: State -> String Source #

Print State.

pprLivesDeadsStr :: ([LiveState], [DeadState]) -> String Source #

Print LiveState and DeadState that yield from execution snapshots.

pprBindStr :: Bind -> String Source #

Print Bind.