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