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        "constraints": null,
15        "store": {
16          "pointer": "0x2",
17          "items": [
18            {
19              "cluster": "x",
20              "pointer": "0x3",
21              "items": [
22                {
23                  "kind": "Default",
24                  "offset": 0,
25                  "value": "Undefined"
26                }
27              ]
28            }
29          ]
30        }
31      }
32    }
33\l}"];
34
35Node0x1 -> Node0x4;
36
37// CHECK: Node0x4 [
38// CHECK-SAME: <tr>
39// CHECK-SAME:   <td><font color="red">-</font></td>
40// CHECK-SAME:   <td align="left">x</td><td align="left">0</td>
41// CHECK-SAME:   <td align="left">(<i>Default</i>)</td>
42// CHECK-SAME:   <td align="left">Undefined</td>
43// CHECK-SAME: </tr>
44// CHECK-SAME: <tr>
45// CHECK-SAME:   <td><font color="forestgreen">+</font></td>
46// CHECK-SAME:   <td align="left">x</td>
47// CHECK-SAME:   <td align="left">0</td>
48// CHECK-SAME:   <td align="left">(<i>Default</i>)</td>
49// CHECK-SAME:   <td align="left">Unknown</td>
50// CHECK-SAME: </tr>
51Node0x4 [shape=record,label=
52 "{
53    { "node_id": 4,
54      "pointer": "0x4",
55      "state_id": 5,
56      "program_points": [],
57      "program_state": {
58        "environment": null,
59        "constraints": null,
60        "store": {
61          "pointer": "0x5",
62          "items": [
63            {
64              "cluster": "x",
65              "pointer": "0x3",
66              "items": [
67                {
68                  "kind": "Default",
69                  "offset": 0,
70                  "value": "Unknown"
71                }
72              ]
73            }
74          ]
75        }
76      }
77    }
78\l}"];
79
80Node0x4 -> Node0x6;
81
82Node0x6 [shape=record,label=
83 "{
84    { "node_id": 6,
85      "pointer": "0x6",
86      "state_id": 7,
87      "program_points": [],
88      "program_state": null
89    }
90\l}"];
91