1// RUN: %exploded_graph_rewriter -d %s | FileCheck %s
2
3// FIXME: Substitution doesn't seem to work on Windows.
4// UNSUPPORTED: system-windows
5
6Node0x1 [shape=record,label=
7 "{
8    { "node_id": 1,
9      "pointer": "0x1",
10      "state_id": 2,
11      "program_points": [],
12      "program_state": {
13        "environment": null,
14        "store": [
15          {
16            "cluster": "x",
17            "pointer": "0x3",
18            "items": [
19              {
20                "kind": "Default",
21                "offset": 0,
22                "value": "Undefined"
23              }
24            ]
25          }
26        ]
27      }
28    }
29\l}"];
30
31Node0x1 -> Node0x4;
32
33// CHECK: Node0x4 [
34// CHECK-SAME: <tr>
35// CHECK-SAME:   <td><font color="red">-</font></td>
36// CHECK-SAME:   <td align="left">x</td><td align="left">0</td>
37// CHECK-SAME:   <td align="left">(<i>Default</i>)</td>
38// CHECK-SAME:   <td align="left">Undefined</td>
39// CHECK-SAME: </tr>
40// CHECK-SAME: <tr>
41// CHECK-SAME:   <td><font color="forestgreen">+</font></td>
42// CHECK-SAME:   <td align="left">x</td>
43// CHECK-SAME:   <td align="left">0</td>
44// CHECK-SAME:   <td align="left">(<i>Default</i>)</td>
45// CHECK-SAME:   <td align="left">Unknown</td>
46// CHECK-SAME: </tr>
47Node0x4 [shape=record,label=
48 "{
49    { "node_id": 4,
50      "pointer": "0x4",
51      "state_id": 5,
52      "program_points": [],
53      "program_state": {
54        "environment": null,
55        "store": [
56          {
57            "cluster": "x",
58            "pointer": "0x3",
59            "items": [
60              {
61                "kind": "Default",
62                "offset": 0,
63                "value": "Unknown"
64              }
65            ]
66          }
67        ]
68      }
69    }
70\l}"];
71
72Node0x4 -> Node0x6;
73
74Node0x6 [shape=record,label=
75 "{
76    { "node_id": 6,
77      "pointer": "0x6",
78      "state_id": 7,
79      "program_points": [],
80      "program_state": null
81    }
82\l}"];
83