33 lines · plain
1// RUN: %exploded_graph_rewriter %s | FileCheck %s2 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": 020 }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