goto-cc no longer needs pointer-analysis#3133

Merged

kroening merged 1 commit intodevelopfrom

goto-cc-pointer-analysis-dependency

Oct 9, 2018

Commits on Oct 9, 2018

goto-cc no longer needs pointer-analysis
Daniel Kroening
committed