diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-08-27 22:46:55 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-08-27 22:46:55 +0000 |
| commit | c8288b408a1738ee1ddf4ece9f674c545cef123c (patch) | |
| tree | 4aeadfd2d9d8b7144838fe499ead320b278e1338 /clang/Driver/AnalysisConsumer.cpp | |
| parent | d461d7ad7e4c417018e80cf0a64bd958722ddc45 (diff) | |
| download | bcm5719-llvm-c8288b408a1738ee1ddf4ece9f674c545cef123c.tar.gz bcm5719-llvm-c8288b408a1738ee1ddf4ece9f674c545cef123c.zip | |
Ubigraph-rendered ExplodedGraphs now have arrows and are oriented downward.
llvm-svn: 55446
Diffstat (limited to 'clang/Driver/AnalysisConsumer.cpp')
| -rw-r--r-- | clang/Driver/AnalysisConsumer.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/Driver/AnalysisConsumer.cpp b/clang/Driver/AnalysisConsumer.cpp index 7142b791818..81f14554fa8 100644 --- a/clang/Driver/AnalysisConsumer.cpp +++ b/clang/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"; } |
