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 | 7d0e090bbc61baebf0be18e4d9ba36615b6cd566 (patch) | |
| tree | fe1565d57dd0f7f3e6521f99135015f02ba6ff35 | |
| parent | dbc62eda56d461249db99ce82c28e2891401ffd2 (diff) | |
| download | clang-7d0e090bbc61baebf0be18e4d9ba36615b6cd566.tar.gz | |
[analyzer] exploded-graph-rewriter: Make node headers a bit lighter.
The 50% grey color is too dark on some monitors.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@375184 91177308-0d34-0410-b5e6-96231b3b80d8
| -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: |