Object descriptor should skip typecasts - #33

Merged

kroening merged 2 commits into

diffblue:masterfrom

tautschnig:object-descriptor-build-fixes

Jun 6, 2016

Commits on May 30, 2016

Object descriptor should skip typecasts
tautschnig
committed
46a10b4
Do not require a constant member offset when building a byte-extract expression
tautschnig
committed
03c1b41