1// RUN: %exploded_graph_rewriter %s \ 2// RUN: | FileCheck -check-prefixes=NORMAL %s 3// RUN: %exploded_graph_rewriter -t %s \ 4// RUN: | FileCheck -check-prefixes=TOPOLOGY %s 5 6// NORMAL: Program point 7// TOPOLOGY-NOT: Program point 8// NORMAL: Checker State 9// TOPOLOGY-NOT: Checker State 10Node0x1 [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": 0 20 } 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": null 30 } 31 } 32\l}"]; 33