diff options
Diffstat (limited to 'Driver/AnalysisConsumer.cpp')
| -rw-r--r-- | Driver/AnalysisConsumer.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
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"; } |