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