blob: e650f571672d7e30819fc6fe09adc907dd8c58a0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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.
|
