diff options
Diffstat (limited to 'test/Analysis/exploded-graph-rewriter/node_labels.dot')
-rw-r--r-- | test/Analysis/exploded-graph-rewriter/node_labels.dot | 43 |
1 files changed, 30 insertions, 13 deletions
diff --git a/test/Analysis/exploded-graph-rewriter/node_labels.dot b/test/Analysis/exploded-graph-rewriter/node_labels.dot index a434cd2307..a3d7420fed 100644 --- a/test/Analysis/exploded-graph-rewriter/node_labels.dot +++ b/test/Analysis/exploded-graph-rewriter/node_labels.dot @@ -15,30 +15,47 @@ // CHECK-SAME: <tr> // LIGHT-SAME: <td bgcolor="gray70"> // DARK-SAME: <td bgcolor="gray20"> -// CHECK-SAME: <b>Node 1 (0x1) - State Unspecified</b> +// CHECK-SAME: <b>State Unspecified</b> // CHECK-SAME: </td> // CHECK-SAME: </tr> Node0x1 [shape=record,label= "{ { "node_id": 1, "pointer": "0x1", "has_report": false, "is_sink": false, "program_state": null, - "program_points": [] + "program_points": [ + { + "kind": "BlockEntrance", "block_id": 1, + "terminator": null, "term_kind": null, + "tag": null, "node_id": 1, + "has_report": 0, "is_sink": 0 + } + ] } \l}"]; // CHECK: Node0x2 [ -// CHECK-SAME: <tr><td> -// COLOR-SAME: <font color="red"><b>Bug Report Attached</b></font> -// GRAY-SAME: <b>Bug Report Attached</b> -// CHECK-SAME: </td></tr> -// CHECK-SAME: <tr><td> -// COLOR-SAME: <font color="cornflowerblue"><b>Sink Node</b></font> -// GRAY-SAME: <b>Sink Node</b> -// CHECK-SAME: </td></tr> +// CHECK-SAME: <tr> +// CHECK-SAME: <td colspan="3" align="left"> +// COLOR-SAME: <font color="red"><b>Bug Report Attached</b></font> +// GRAY-SAME: <b>Bug Report Attached</b> +// CHECK-SAME: </td> +// CHECK-SAME: </tr> +// CHECK-SAME: <tr> +// CHECK-SAME: <td colspan="3" align="left"> +// COLOR-SAME: <font color="cornflowerblue"><b>Sink Node</b></font> +// GRAY-SAME: <b>Sink Node</b> +// CHECK-SAME: </td> +// CHECK-SAME: </tr> Node0x2 [shape=record,label= "{ - { "node_id": 2, "pointer": "0x2", "has_report": true, "is_sink": true, - "program_state": null, - "program_points": [] + { "program_state": null, + "program_points": [ + { + "kind": "BlockEntrance", "block_id": 1, + "terminator": null, "term_kind": null, + "tag": null, "node_id": 2, + "has_report": 1, "is_sink": 1 + } + ] } \l}"]; |