bv_typet is also sensitive to endianness#6485

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bv_typet-endiannesstautschnig/cbmc:bv_typet-endiannessCopy head branch name to clipboard