CORE
memcpy1.c
--bounds-check --pointer-check
^EXIT=10$
^SIGNAL=0$
^VERIFICATION FAILED$
^\[main\.precondition_instance\..*\] .* memcpy source region readable: FAILURE$
\*\* 1 of [0-9]+ failed
--
^warning: ignoring
