Copyright | (c) Fontaine 2010 |
---|---|
License | BSD |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
A very rudimentary process tracer for debugging and testing. Prints the current process and the possible transitions to stdout and lets the user select a transition by typing to stdin.