Unit test of byte operator lowering [blocks: #2068]#3597

Merged

tautschnig merged 3 commits intodiffblue:developfrom

tautschnig:byte-op-unit-test

Feb 1, 2019

Commits on Feb 1, 2019

bits2expr: Add support for bit fields, pointers, vectors, complex exprt
tautschnig
committed
expr2bits: Add support for bit fields, pointers, vectors, complex exprt
tautschnig
committed
Unit test of byte operator lowering
tautschnig
committed