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 | d1289327f7d2126d732e23cc189ecd0aa5d07cbb (patch) | |
| tree | 281e1904c07313ced7f832ca01fc6a62d61a482d /Driver/AnalysisConsumer.cpp | |
| parent | f8ce6991f41d55b6e8526b7a7919771428e2b181 (diff) | |
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
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"; } |