From d1289327f7d2126d732e23cc189ecd0aa5d07cbb Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 27 Aug 2008 22:46:55 +0000 Subject: [PATCH] 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 --- Driver/AnalysisConsumer.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Driver/AnalysisConsumer.cpp b/Driver/AnalysisConsumer.cpp index 7142b79181..81f14554fa 100644 --- 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"; } -- 2.50.1