r375184 - [analyzer] exploded-graph-rewriter: Make node headers a bit lighter.

[Artem Dergachev via cfe-commits]

Author: dergachev
Date: Thu Oct 17 16:10:02 2019
New Revision: 375184

URL: http://llvm.org/viewvc/llvm-project?rev=375184&view=rev
Log:
[analyzer] exploded-graph-rewriter: Make node headers a bit lighter.

The 50% grey color is too dark on some monitors.

Modified:
    cfe/trunk/test/Analysis/exploded-graph-rewriter/node_labels.dot
    cfe/trunk/utils/analyzer/exploded-graph-rewriter.py

Modified: cfe/trunk/test/Analysis/exploded-graph-rewriter/node_labels.dot
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/exploded-graph-rewriter/node_labels.dot?rev=375184&r1=375183&r2=375184&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/exploded-graph-rewriter/node_labels.dot (original)
+++ cfe/trunk/test/Analysis/exploded-graph-rewriter/node_labels.dot Thu Oct 17 16:10:02 2019
@@ -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>

Modified: cfe/trunk/utils/analyzer/exploded-graph-rewriter.py
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/utils/analyzer/exploded-graph-rewriter.py?rev=375184&r1=375183&r2=375184&view=diff
==============================================================================
--- cfe/trunk/utils/analyzer/exploded-graph-rewriter.py (original)
+++ cfe/trunk/utils/analyzer/exploded-graph-rewriter.py Thu Oct 17 16:10:02 2019
@@ -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: