Page MenuHomePhabricator

[Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when printing the Program State
ClosedPublic

Authored by baloghadamsoftware on Dec 2 2019, 10:44 AM.

Details

Reviewers
NoQ
Szelethus
Summary

Debugging the Iterator Modeling checker or any of the iterator checkers is difficult without being able to see the relations between the iterator variables and their abstract positions, as well as the abstract symbols denoting the begin and the end of the container.

This patch adds the checker-specific part of the Program State printing to the Iterator Modeling checker.

Diff Detail