87 lines · plain
1// RUN: %exploded_graph_rewriter -d %s | FileCheck %s2 3Node0x1 [shape=record,label=4 "{5 {6 "state_id": 2,7 "program_points": [8 {9 "kind": "BlockEntrance", "block_id": 1,10 "terminator": null, "term_kind": null,11 "tag": null, "node_id": 1,12 "has_report": 0, "is_sink": 013 }14 ],15 "program_state": {16 "store": null,17 "environment": null,18 "dynamic_types": null, 19 "checker_messages": null,20 "constraints": [21 { "symbol": "reg_$0<x>", "range": "{ [0, 10] }" }22 ]23 }24 }25\l}"];26 27Node0x1 -> Node0x3;28 29// CHECK: Node0x3 [30// CHECK-SAME: <tr>31// CHECK-SAME: <td><font color="red">-</font></td>32// CHECK-SAME: <td align="left">reg_$0<x></td>33// CHECK-SAME: <td align="left">\{ [0, 10] \}</td>34// CHECK-SAME: </tr>35// CHECK-SAME: <tr>36// CHECK-SAME: <td><font color="forestgreen">+</font></td>37// CHECK-SAME: <td align="left">reg_$0<x></td>38// CHECK-SAME: <td align="left">\{ [0, 5] \}</td>39// CHECK-SAME: </tr>40Node0x3 [shape=record,label=41 "{42 {43 "state_id": 4,44 "program_points": [45 {46 "kind": "BlockEntrance", "block_id": 1,47 "terminator": null, "term_kind": null,48 "tag": null, "node_id": 1,49 "has_report": 0, "is_sink": 050 }51 ],52 "program_state": {53 "store": null,54 "environment": null,55 "dynamic_types": null, 56 "checker_messages": null,57 "constraints": [58 { "symbol": "reg_$0<x>", "range": "{ [0, 5] }" }59 ]60 }61 }62\l}"];63 64Node0x3 -> Node0x5;65 66Node0x5 [shape=record,label=67 "{68 {69 "state_id": 6,70 "program_points": [71 {72 "kind": "BlockEntrance", "block_id": 1,73 "terminator": null, "term_kind": null,74 "tag": null, "node_id": 1,75 "has_report": 0, "is_sink": 076 }77 ],78 "program_state": {79 "store": null,80 "environment": null,81 "constraints": null,82 "dynamic_types": null, 83 "checker_messages": null84 }85 }86\l}"];87