33 lines · plain
1// RUN: %exploded_graph_rewriter %s \2// RUN: | FileCheck -check-prefixes=NORMAL %s3// RUN: %exploded_graph_rewriter -t %s \4// RUN: | FileCheck -check-prefixes=TOPOLOGY %s5 6// NORMAL: Program point7// TOPOLOGY-NOT: Program point8// NORMAL: Checker State9// TOPOLOGY-NOT: Checker State10Node0x1 [shape=record,label=11 "{12 {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 "environment": null,24 "constraints": null,25 "dynamic_types": null, 26 "checker_messages": [27 { "checker": "foo", "messages": ["bar"] }28 ],29 "store": null30 }31 }32\l}"];33