// RUN: %exploded_graph_rewriter -d %s | FileCheck %s
// FIXME: Substitution doesn't seem to work on Windows.
// UNSUPPORTED: system-windows
Node0x1 [shape=record,label=
"{
{ "node_id": 1,
"pointer": "0x1",
"has_report": false,
"is_sink": false,
"state_id": 2,
"program_points": [],
"program_state": {
"environment": null,
"store": null,
"constraints": null,
"dynamic_types": null,
"constructing_objects": null,
"checker_messages": [
{ "checker": "FooChecker", "messages": [
"Foo: Bar"
]},
{ "checker": "BarChecker", "messages": [
"Bar: Foo"
]}
]
}
}
\l}"];
Node0x1 -> Node0x4;
// CHECK: Node0x4 [
// CHECK-SAME:
// CHECK-SAME: - |
// CHECK-SAME: BarChecker: |
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: - |
// CHECK-SAME: Bar: Foo |
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: |
// CHECK-SAME: FooChecker: |
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: + |
// CHECK-SAME: Bar: Foo |
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: + |
// CHECK-SAME: DunnoWhateverSomeOtherChecker: |
// CHECK-SAME:
// CHECK-SAME:
// CHECK-SAME: + |
// CHECK-SAME: Dunno, some other message. |
// CHECK-SAME:
Node0x4 [shape=record,label=
"{
{ "node_id": 4,
"pointer": "0x4",
"has_report": false,
"is_sink": false,
"state_id": 5,
"program_points": [],
"program_state": {
"environment": null,
"store": null,
"constraints": null,
"dynamic_types": null,
"constructing_objects": null,
"checker_messages": [
{ "checker": "FooChecker", "messages": [
"Foo: Bar",
"Bar: Foo"
]},
{ "checker": "DunnoWhateverSomeOtherChecker", "messages": [
"Dunno, some other message."
]}
]
}
}
\l}"];
Node0x4 -> Node0x6;
Node0x6 [shape=record,label=
"{
{ "node_id": 6,
"pointer": "0x6",
"has_report": false,
"is_sink": false,
"state_id": 7,
"program_points": [],
"program_state": null
}
\l}"];