// RUN: %exploded_graph_rewriter %s | FileCheck %s
// RUN: %exploded_graph_rewriter --dark %s | FileCheck %s \
// RUN: -check-prefixes=CHECK,DARK
digraph "Exploded Graph"
// CHECK: digraph "ExplodedGraph" {
// DARK-NEXT: bgcolor="gray10";
// CHECK-NEXT: label="";
// CHECK-NEXT: }