diff options
| -rw-r--r-- | test/Analysis/exploded-graph-rewriter/node_labels.dot | 2 | ||||
| -rwxr-xr-x | utils/analyzer/exploded-graph-rewriter.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/Analysis/exploded-graph-rewriter/node_labels.dot b/test/Analysis/exploded-graph-rewriter/node_labels.dot index b8f69192a6..a434cd2307 100644 --- a/test/Analysis/exploded-graph-rewriter/node_labels.dot +++ b/test/Analysis/exploded-graph-rewriter/node_labels.dot @@ -13,7 +13,7 @@ // LIGHT: Node0x1 [shape=record,label=< // DARK: Node0x1 [shape=record,color="white",fontcolor="gray80",label=< // CHECK-SAME: <tr> -// LIGHT-SAME: <td bgcolor="gray"> +// LIGHT-SAME: <td bgcolor="gray70"> // DARK-SAME: <td bgcolor="gray20"> // CHECK-SAME: <b>Node 1 (0x1) - State Unspecified</b> // CHECK-SAME: </td> diff --git a/utils/analyzer/exploded-graph-rewriter.py b/utils/analyzer/exploded-graph-rewriter.py index ced5c36bab..05b01b3f95 100755 --- a/utils/analyzer/exploded-graph-rewriter.py +++ b/utils/analyzer/exploded-graph-rewriter.py @@ -784,7 +784,7 @@ class DotDumpVisitor(object): self._dump('<tr><td bgcolor="%s"><b>Node %d (%s) - ' 'State %s</b></td></tr>' - % ("gray20" if self._dark_mode else "gray", + % ("gray20" if self._dark_mode else "gray70", node.node_id, node.ptr, node.state.state_id if node.state is not None else 'Unspecified')) if node.has_report: |