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        "environment": null,
28        "checker_messages": [
29          { "checker": "alpha.core.FooChecker", "messages": [
30            "Foo stuff:",
31            "Foo: Bar"
32          ]}
33        ]
34      }
35    }
36\l}"];
37