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        "store": null,
14        "environment": null,
15        "constraints": [
16          { "symbol": "reg_$0<x>", "range": "{ [0, 10] }" }
17        ]
18      }
19    }
20\l}"];
21
22Node0x1 -> Node0x3;
23
24// CHECK: Node0x3 [
25// CHECK-SAME: <tr>
26// CHECK-SAME:   <td><font color="red">-</font></td>
27// CHECK-SAME:   <td align="left">reg_$0<x></td>
28// CHECK-SAME:   <td align="left">\{ [0, 10] \}</td>
29// CHECK-SAME: </tr>
30// CHECK-SAME: <tr>
31// CHECK-SAME:   <td><font color="forestgreen">+</font></td>
32// CHECK-SAME:   <td align="left">reg_$0<x></td>
33// CHECK-SAME:   <td align="left">\{ [0, 5] \}</td>
34// CHECK-SAME: </tr>
35Node0x3 [shape=record,label=
36 "{
37    { "node_id": 3,
38      "pointer": "0x3",
39      "state_id": 4,
40      "program_points": [],
41      "program_state": {
42        "store": null,
43        "environment": null,
44        "constraints": [
45          { "symbol": "reg_$0<x>", "range": "{ [0, 5] }" }
46        ]
47      }
48    }
49\l}"];
50
51Node0x3 -> Node0x5;
52
53Node0x5 [shape=record,label=
54 "{
55    { "node_id": 5,
56      "pointer": "0x5",
57      "state_id": 6,
58      "program_points": [],
59      "program_state": {
60        "store": null,
61        "environment": null,
62        "constraints": null
63      }
64    }
65\l}"];
66