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/inputs/symPaths.ts | Bin 0 -> 1412 bytes utils/hacks/TreeGraphs/inputs/symPaths6.ts | Bin 0 -> 58144 bytes 2 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 utils/hacks/TreeGraphs/inputs/symPaths.ts create mode 100644 utils/hacks/TreeGraphs/inputs/symPaths6.ts (limited to 'utils/hacks/TreeGraphs/inputs') diff --git a/utils/hacks/TreeGraphs/inputs/symPaths.ts b/utils/hacks/TreeGraphs/inputs/symPaths.ts new file mode 100644 index 00000000..05aaa763 Binary files /dev/null and b/utils/hacks/TreeGraphs/inputs/symPaths.ts differ diff --git a/utils/hacks/TreeGraphs/inputs/symPaths6.ts b/utils/hacks/TreeGraphs/inputs/symPaths6.ts new file mode 100644 index 00000000..d67d66d5 Binary files /dev/null and b/utils/hacks/TreeGraphs/inputs/symPaths6.ts differ -- cgit 1.4.1