27 lines · plain
1// RUN: %exploded_graph_rewriter %s | FileCheck %s -check-prefix=LIGHT2// RUN: %exploded_graph_rewriter --dark %s | FileCheck %s -check-prefixes=DARK3 4Node0x1 [shape=record,label=5 "{{ "state_id": 0, "program_state": null, "program_points": [6 {7 "kind": "BlockEntrance", "block_id": 1,8 "terminator": null, "term_kind": null,9 "tag": null, "node_id": 1,10 "has_report": 0, "is_sink": 011 }12 ]}\l}"];13 14// LIGHT: Node0x1 -> Node0x2;15// DARK: Node0x1 -> Node0x2 [color="white"];16Node0x1 -> Node0x2;17 18Node0x2 [shape=record,label=19 "{{ "state_id": 0, "program_state": null, "program_points": [20 {21 "kind": "BlockEntrance", "block_id": 1,22 "terminator": null, "term_kind": null,23 "tag": null, "node_id": 1,24 "has_report": 0, "is_sink": 025 }26 ]}\l}"];27