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