| A little hack which converts KLEE treestream's of path branch information into |
| images/animations. It is not particularly fast nor is the code very |
| elegant. It's a hack, after all! |
| |
| There are a couple example input streams in inputs/. You can generate a single |
| image frame with, e.g.:: |
| |
| $ ./TreeGraph.py --count=500 inputs/symPaths6.ts t.pdf |
| |
| which will generate an image of the first 500 paths that were explored. |
| |
| |
| You can generate a sequence of frames from a file using:: |
| |
| $ ./Animate.py --start=10 --end=2000 inputs/symPaths6.ts anim-01 |
| |
| which will generate a sequence of .pdf frames in anim-01. |