Adapt existing regression tests for new command line options

Adapt the malloc failure regression tests to use the new options
--allocate-size-check, --allocate-size-null, and --allocate-may-fail

Author: danpoe

Diff for: regression/cbmc/malloc-may-fail/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---malloc-may-fail --malloc-fail-null
+--allocate-may-fail
 ^EXIT=10$
 ^SIGNAL=0$
 ^\[main.assertion.\d+\] line \d+ assertion p: FAILURE$

Diff for: regression/cbmc/malloc-too-large/largest_representable.desc

@@ -1,9 +1,9 @@
 CORE
 largest_representable.c
---malloc-fail-assert
+--allocate-size-check
 ^EXIT=0$
 ^SIGNAL=0$
-^\[malloc.assertion.\d+\] line \d+ max allocation size exceeded: SUCCESS$
+^\[malloc.allocate.\d+\] line \d+ .*: SUCCESS$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring

Diff for: regression/cbmc/malloc-too-large/max_size.desc

@@ -1,9 +1,9 @@
 CORE
 max_size.c
---malloc-fail-assert
+--allocate-size-check
 ^EXIT=10$
 ^SIGNAL=0$
-^\[malloc.assertion.\d+\] line \d+ max allocation size exceeded: FAILURE$
+^\[malloc.allocate.\d+\] line \d+ .*: FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring

Diff for: regression/cbmc/malloc-too-large/one_byte_too_large.desc

@@ -1,6 +1,6 @@
 CORE
 one_byte_too_large.c
---malloc-fail-null
+--allocate-size-null
 ^EXIT=10$
 ^SIGNAL=0$
 ^\[main.assertion.\d+\] line \d+ assertion p: FAILURE$