36 lines · plain
1// RUN: %exploded_graph_rewriter %s | FileCheck %s2 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": 020 }21 ],22 "program_state": {23 "store": null,24 "constraints": null,25 "dynamic_types": null, 26 "environment": null,27 "checker_messages": [28 { "checker": "alpha.core.FooChecker", "messages": [29 "Foo stuff:",30 "Foo: Bar"31 ]}32 ]33 }34 }35\l}"];36