There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Draws an execution tree corresponding to the symbolic execution of a subset of the language described in the paper "Symbolic Execution and Program Testing" by James C. King.
