| // RUN: %exploded_graph_rewriter %s | FileCheck %s |
| |
| // CHECK: <b>Checker State: </b> |
| // CHECK-SAME: <td align="left"><i>alpha.core.FooChecker</i>:</td> |
| // CHECK-SAME: <td align="left">Foo stuff:</td> |
| // CHECK-SAME: <td align="left">Foo: Bar</td> |
| Node0x1 [shape=record,label= |
| "{ |
| { "node_id": 1, |
| "pointer": "0x1", |
| "has_report": false, |
| "is_sink": false, |
| "state_id": 2, |
| "program_points": [ |
| { |
| "kind": "BlockEntrance", "block_id": 1, |
| "terminator": null, "term_kind": null, |
| "tag": null, "node_id": 1, |
| "has_report": 0, "is_sink": 0 |
| } |
| ], |
| "program_state": { |
| "store": null, |
| "constraints": null, |
| "dynamic_types": null, |
| "environment": null, |
| "checker_messages": [ |
| { "checker": "alpha.core.FooChecker", "messages": [ |
| "Foo stuff:", |
| "Foo: Bar" |
| ]} |
| ] |
| } |
| } |
| \l}"]; |
