Fixed regression tests failing on 32 bit Linux

Author: esteffin

Diff for: regression/cbmc-library/mmap-01/test.desc

@@ -1,6 +1,6 @@
 CORE unix
 main.c
---pointer-check
+--no-bounds-check --pointer-check
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

Diff for: regression/cbmc/Malloc21/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-pointer-check
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$