Set little_endian in the same way that boolbv_byte_extract already does#2429
Merged
tautschnig merged 1 commit intodiffblue:developfrom Jul 8, 2018
Merged
Set little_endian in the same way that boolbv_byte_extract already does#2429tautschnig merged 1 commit intodiffblue:developfrom
tautschnig merged 1 commit intodiffblue:developfrom
