Regression test: support big and little endian#8370

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:endianness-teststautschnig/cbmc:endianness-testsCopy head branch name to clipboard