integer dereferences are now re-written to a custom expression#1453

Merged

kroening merged 1 commit intodevelopfrom

integer-addressees

Oct 8, 2017

Commits on Oct 6, 2017

integer dereferences are now re-written to a custom expression
Daniel Kroening
committed