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/__init__.py | 1 + 1 file changed, 1 insertion(+) create mode 100644 utils/hacks/TreeGraphs/Graphics/__init__.py (limited to 'utils/hacks/TreeGraphs/Graphics/__init__.py') diff --git a/utils/hacks/TreeGraphs/Graphics/__init__.py b/utils/hacks/TreeGraphs/Graphics/__init__.py new file mode 100644 index 00000000..4055b3ef --- /dev/null +++ b/utils/hacks/TreeGraphs/Graphics/__init__.py @@ -0,0 +1 @@ +__all__= ['Formats', 'SubSurf', 'Geometry', 'AqsisInterface', 'TwoD', 'ThreeD', 'Apps'] -- cgit 1.4.1