From b165c527e371648cafc61578872a999aec6f5619 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Fri, 13 Apr 2018 17:46:14 +0100 Subject: [PATCH] make test work on 32-bit Linux --- regression/cbmc/memcpy1/test.desc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/regression/cbmc/memcpy1/test.desc b/regression/cbmc/memcpy1/test.desc index 87a13eb5452..494588f439c 100644 --- a/regression/cbmc/memcpy1/test.desc +++ b/regression/cbmc/memcpy1/test.desc @@ -4,7 +4,7 @@ main.c ^EXIT=10$ ^SIGNAL=0$ ^VERIFICATION FAILED$ -\[(__builtin___memcpy_chk|memcpy)\.pointer_dereference\.16\] dereference failure: pointer outside object bounds in \*\(\(\(const char \*\)src \+ \(signed long (long )?int\)n\) - \(signed long (long )?int\)1\): FAILURE$ +\[(__builtin___memcpy_chk|memcpy)\.pointer_dereference\.16\] dereference failure: pointer outside object bounds in \*\(\(\(const char \*\)src \+ \(signed (long (long )?)?int\)n\) - (\(signed long (long )?int\))?1\): FAILURE$ \*\* 1 of 17 failed -- ^warning: ignoring