From 7d0e090bbc61baebf0be18e4d9ba36615b6cd566 Mon Sep 17 00:00:00 2001 From: Artem Dergachev Date: Thu, 17 Oct 2019 23:10:02 +0000 Subject: [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 --- test/Analysis/exploded-graph-rewriter/node_labels.dot | 2 +- 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: -// LIGHT-SAME: +// LIGHT-SAME: // DARK-SAME: // CHECK-SAME: Node 1 (0x1) - State Unspecified // CHECK-SAME: 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('Node %d (%s) - ' 'State %s' - % ("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: -- cgit v1.2.1