1// RUN: %exploded_graph_rewriter %s | FileCheck %s
2
3// FIXME: Substitution doesn't seem to work on Windows.
4// UNSUPPORTED: system-windows
5
6// CHECK: <b>Program point:</b>
7// CHECK-SAME: <table border="0" align="left" width="0">
8// CHECK-SAME:   <tr>
9// CHECK-SAME:     <td width="0">
10// CHECK-SAME:     </td>
11// CHECK-SAME:     <td align="left" width="0">
12// CHECK-SAME:       <font color="gold3">Edge</font>
13// CHECK-SAME:     </td>
14// CHECK-SAME:     <td align="left">
15// CHECK-SAME:     [B0] -&gt; [B1]
16// CHECK-SAME:     </td>
17// CHECK-SAME:   </tr>
18// CHECK-SAME: </table>
19Node0x1 [shape=record,label=
20 "{
21    { "node_id": 1, "pointer": "0x1",
22      "program_state": null, "program_points": [
23      {
24        "kind": "Edge",
25        "src_id": 0,
26        "dst_id": 1,
27        "terminator": null,
28        "term_kind": null,
29        "tag": null }
30    ]}
31\l}"];
32
33// CHECK-NEXT: <b>Program point:</b>
34// CHECK-SAME: <table border="0" align="left" width="0">
35// CHECK-SAME:   <tr>
36// CHECK-SAME:     <td align="left" width="0">
37// CHECK-SAME:       (main file):<b>4</b>:<b>5</b>:
38// CHECK-SAME:     </td>
39// CHECK-SAME:     <td align="left" width="0">
40// CHECK-SAME:       <font color="cyan3">DeclRefExpr</font>
41// CHECK-SAME:     </td>
42// CHECK-SAME:     <td>x</td>
43// CHECK-SAME:   </tr>
44// CHECK-SAME: </table>
45Node0x2 [shape=record,label=
46 "{
47    { "node_id": 2, "pointer": "0x2",
48      "program_state": null, "program_points": [
49      {
50        "kind": "Statement",
51        "stmt_kind": "DeclRefExpr",
52        "stmd_id": 3,
53        "pointer": "0x3",
54        "pretty": "x",
55        "location": {
56          "line": 4,
57          "column": 5
58        },
59        "tag": null
60      }
61    ]}
62\l}"];
63