diff options
Diffstat (limited to 'test/Analysis/exploded-graph-rewriter/checker_messages.dot')
-rw-r--r-- | test/Analysis/exploded-graph-rewriter/checker_messages.dot | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/test/Analysis/exploded-graph-rewriter/checker_messages.dot b/test/Analysis/exploded-graph-rewriter/checker_messages.dot index 84185db5af..2d054a8d48 100644 --- a/test/Analysis/exploded-graph-rewriter/checker_messages.dot +++ b/test/Analysis/exploded-graph-rewriter/checker_messages.dot @@ -14,7 +14,14 @@ Node0x1 [shape=record,label= "has_report": false, "is_sink": false, "state_id": 2, - "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 + } + ], "program_state": { "store": null, "constraints": null, |