byte_extract lowering: ensure type consistency [blocks: #2068]#4063

Merged

tautschnig merged 2 commits intodiffblue:developfrom

tautschnig:byte-op-2

Feb 14, 2019

Commits on Feb 14, 2019

byte_extract lowering: ensure type consistency
tautschnig
committed
The SMT back-end does not currently support bitvector -> union/struct conversion
tautschnig
committed