Merge pull request #2530 from tautschnig/debian3

Fix tests that are only correct on little-endian architectures

Author: tautschnig

regression/cbmc/byte_update2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--little-endian
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/cbmc/byte_update3/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--little-endian
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/cbmc/byte_update4/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--little-endian
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/cbmc/byte_update5/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--little-endian
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/cbmc/byte_update6/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--little-endian
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/cbmc/byte_update7/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--little-endian
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/cbmc/byte_update8/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--little-endian
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$