diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-10-17 23:10:02 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-10-17 23:10:02 +0000 |
| commit | 73b67f0b1a3ca835a4c0481abee87a96a2107b7d (patch) | |
| tree | cc5c110444ba9339211e1d2d9530272b9dcccde4 | |
| parent | 2941cda5be11332b3bd5c26be220ed18cd216c30 (diff) | |
| download | bcm5719-llvm-73b67f0b1a3ca835a4c0481abee87a96a2107b7d.tar.gz bcm5719-llvm-73b67f0b1a3ca835a4c0481abee87a96a2107b7d.zip | |
[analyzer] exploded-graph-rewriter: Make node headers a bit lighter.
The 50% grey color is too dark on some monitors.
llvm-svn: 375184
| -rw-r--r-- | clang/test/Analysis/exploded-graph-rewriter/node_labels.dot | 2 | ||||
| -rwxr-xr-x | clang/utils/analyzer/exploded-graph-rewriter.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/clang/test/Analysis/exploded-graph-rewriter/node_labels.dot b/clang/test/Analysis/exploded-graph-rewriter/node_labels.dot index b8f69192a6c..a434cd23071 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/node_labels.dot +++ b/clang/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/clang/utils/analyzer/exploded-graph-rewriter.py b/clang/utils/analyzer/exploded-graph-rewriter.py index ced5c36bab5..05b01b3f950 100755 --- a/clang/utils/analyzer/exploded-graph-rewriter.py +++ b/clang/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: |
