1// RUN: %exploded_graph_rewriter %s | FileCheck %s
2
3// CHECK: <b>Checker State: </b>
4// CHECK-SAME: <td align="left"><i>alpha.core.FooChecker</i>:</td>
5// CHECK-SAME: <td align="left">Foo stuff:</td>
6// CHECK-SAME: <td align="left">Foo: Bar</td>
7Node0x1 [shape=record,label=
8 "{
9    { "node_id": 1,
10      "pointer": "0x1",
11      "has_report": false,
12      "is_sink": false,
13      "state_id": 2,
14      "program_points": [
15        {
16          "kind": "BlockEntrance", "block_id": 1,
17          "terminator": null, "term_kind": null,
18          "tag": null, "node_id": 1,
19          "has_report": 0, "is_sink": 0
20        }
21      ],
22      "program_state": {
23        "store": null,
24        "constraints": null,
25        "dynamic_types": null,
26        "constructing_objects": null,
27        "index_of_element": null,
28        "environment": null,
29        "checker_messages": [
30          { "checker": "alpha.core.FooChecker", "messages": [
31            "Foo stuff:",
32            "Foo: Bar"
33          ]}
34        ]
35      }
36    }
37\l}"];
38