Merge pull request #8370 from tautschnig/endianness-tests

Regression test: support big and little endian

regression/cbmc-incr-smt2/unions/padded.desc

@@ -3,7 +3,7 @@ padded.c
 --trace
 Passing problem to incremental SMT2 solving
 \[main\.assertion\.1\] line 13 assertion my_union\.a \=\= 5\: FAILURE
-my_union\=\{ \.a\=\d+ \} \(\d{8} 00000101\)
+my_union\=\{ \.a\=\d+ \} \((\d{8} 00000101|00000101 \d{8})\)
 ^EXIT=10$
 ^SIGNAL=0$
 --