| // RUN: %exploded_graph_rewriter %s \ |
| // RUN: | FileCheck -check-prefixes=NORMAL %s |
| // RUN: %exploded_graph_rewriter -t %s \ |
| // RUN: | FileCheck -check-prefixes=TOPOLOGY %s |
| |
| // FIXME: Substitution doesn't seem to work on Windows. |
| // UNSUPPORTED: system-windows |
| |
| // NORMAL: Program point |
| // TOPOLOGY-NOT: Program point |
| // NORMAL: Checker State |
| // TOPOLOGY-NOT: Checker State |
| Node0x1 [shape=record,label= |
| "{ |
| { "node_id": 1, |
| "pointer": "0x1", |
| "has_report": false, |
| "is_sink": false, |
| "state_id": 2, |
| "program_points": [], |
| "program_state": { |
| "environment": null, |
| "constraints": null, |
| "dynamic_types": null, |
| "constructing_objects": null, |
| "checker_messages": [ |
| { "checker": "foo", "messages": ["bar"] } |
| ], |
| "store": null |
| } |
| } |
| \l}"]; |
