[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

diff --git a/test/Analysis/exploded-graph-rewriter/node_labels.dot b/test/Analysis/exploded-graph-rewriter/node_labels.dot
index b8f69192a6c19dd4fe96dfa89d8ed96b93f19e2a..a434cd23071ee89e7f16432c8f767fcaa72830c2 100644 (file)
--- 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 ced5c36bab5e21564090b56c8e395b8ae2b92367..05b01b3f9502cc9bf21751901200e6d70d6cd673 100755 (executable)
--- 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: