Change assert false assertions

On Travis, these are printed out as assert 0 rather than assert false

Author: Thomas Kiley

regression/goto-harness/void-star-pointer/test-array-as-array.desc

@@ -2,7 +2,7 @@ CORE
 main.c
 --harness-type call-function --function test_ptr_array --treat-pointer-as-array input_array
 \[test_ptr_array\.assertion\.1\] line \d+ assertion input_array\[0\] == 0: SUCCESS
-\[test_ptr_array\.assertion\.2\] line \d+ assertion false: FAILURE
+\[test_ptr_array\.assertion\.2\] line \d+ assertion .*: FAILURE
 ^VERIFICATION FAILED$
 ^EXIT=10$
 ^SIGNAL=0$

regression/goto-harness/void-star-pointer/test-array.desc

@@ -2,7 +2,7 @@ CORE
 main.c
 --harness-type call-function --function test_void_array
 \[test_void_array\.assertion\.1\] line \d+ assertion input_array\[0\] == 0: SUCCESS
-\[test_void_array\.assertion\.2\] line \d+ assertion false: FAILURE
+\[test_void_array\.assertion\.2\] line \d+ assertion .*: FAILURE
 ^VERIFICATION FAILED$
 ^EXIT=10$
 ^SIGNAL=0$