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