1// RUN: %exploded_graph_rewriter %s | FileCheck %s -check-prefix=LIGHT
2// RUN: %exploded_graph_rewriter --dark %s | FileCheck %s -check-prefixes=DARK
3
4Node0x1 [shape=record,label=
5 "{{ "state_id": 0, "program_state": null, "program_points": [
6    {
7      "kind": "BlockEntrance", "block_id": 1,
8      "terminator": null, "term_kind": null,
9      "tag": null, "node_id": 1,
10      "has_report": 0, "is_sink": 0
11    }
12  ]}\l}"];
13
14// LIGHT: Node0x1 -> Node0x2;
15// DARK:  Node0x1 -> Node0x2 [color="white"];
16Node0x1 -> Node0x2;
17
18Node0x2 [shape=record,label=
19 "{{ "state_id": 0, "program_state": null, "program_points": [
20    {
21      "kind": "BlockEntrance", "block_id": 1,
22      "terminator": null, "term_kind": null,
23      "tag": null, "node_id": 1,
24      "has_report": 0, "is_sink": 0
25    }
26 ]}\l}"];
27