From f4cdc443fb86f715ab93f3528aff23452a5bb3a3 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 2 May 2010 17:59:13 +0000 Subject: 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 --- utils/hacks/TreeGraphs/Graphics/Geometry/__init__.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 utils/hacks/TreeGraphs/Graphics/Geometry/__init__.py (limited to 'utils/hacks/TreeGraphs/Graphics/Geometry/__init__.py') diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/__init__.py b/utils/hacks/TreeGraphs/Graphics/Geometry/__init__.py new file mode 100644 index 00000000..e69de29b -- cgit 1.4.1