1// RUN: %exploded_graph_rewriter %s | FileCheck %s 2 3// CHECK: <tr><td align="left"><b>Ranges: </b></td></tr> 4// CHECK-SAME: <tr><td align="left"><table border="0"> 5// CHECK-SAME: <tr> 6// CHECK-SAME: <td align="left">reg_$0<x></td> 7// CHECK-SAME: <td align="left">\{ [0, 0] \}</td> 8// CHECK-SAME: </tr> 9// CHECK-SAME: </table></td></tr> 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 "store": null, 24 "environment": null, 25 "dynamic_types": null, 26 "checker_messages": null, 27 "constraints": [ 28 { "symbol": "reg_$0<x>", "range": "{ [0, 0] }" } 29 ] 30 } 31 } 32\l}"]; 33