diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-05-02 17:59:13 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-05-02 17:59:13 +0000 |
| commit | f4cdc443fb86f715ab93f3528aff23452a5bb3a3 (patch) | |
| tree | ffab5077611d32a8b95c9d9b4f96b47703190e82 /utils/hacks/TreeGraphs/inputs | |
| parent | bae2fa50234b0a575a18a119019e5d96f7ff7ecf (diff) | |
| download | klee-f4cdc443fb86f715ab93f3528aff23452a5bb3a3.tar.gz | |
Add a little hack for visualizing KLEE branching.
- This consumes the treestream files produced with --write-paths or --write-sym-paths, and renders out the tree in a very ad-hoc funky way. Your mileage may vary! :) Example image: http://klee.llvm.org/data/treegraph_example.jpg Example movie: http://klee.llvm.org/data/treegraph_example.avi git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102869 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'utils/hacks/TreeGraphs/inputs')
| -rw-r--r-- | utils/hacks/TreeGraphs/inputs/symPaths.ts | bin | 0 -> 1412 bytes |
| -rw-r--r-- | utils/hacks/TreeGraphs/inputs/symPaths6.ts | bin | 0 -> 58144 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/utils/hacks/TreeGraphs/inputs/symPaths.ts b/utils/hacks/TreeGraphs/inputs/symPaths.ts new file mode 100644 index 00000000..05aaa763 --- /dev/null +++ b/utils/hacks/TreeGraphs/inputs/symPaths.ts Binary files differdiff --git a/utils/hacks/TreeGraphs/inputs/symPaths6.ts b/utils/hacks/TreeGraphs/inputs/symPaths6.ts new file mode 100644 index 00000000..d67d66d5 --- /dev/null +++ b/utils/hacks/TreeGraphs/inputs/symPaths6.ts Binary files differ |