Ubigraph-rendered ExplodedGraphs now have arrows and are oriented downward.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55446 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/Driver/AnalysisConsumer.cpp b/Driver/AnalysisConsumer.cpp
index 7142b7918185268036c4258957fb4350e0df74df..81f14554fa86e1cccbc33d08cc886e31291465d0 100644 (file)
--- a/Driver/AnalysisConsumer.cpp
+++ b/Driver/AnalysisConsumer.cpp
@@ -531,6 +531,7 @@ void UbigraphViz::AddEdge(ExplodedNodeImpl* Src, ExplodedNodeImpl* Dst) {
     DstID = DstI->second;
 
   // Add the edge.
-  *Out << "('edge', " << SrcID << ", " << DstID << ")\n";
+  *Out << "('edge', " << SrcID << ", " << DstID 
+       << ", ('arrow','true'), ('oriented', 'true'))\n";
 }