CORE
main.c
--pointer-check
^EXIT=10$
^SIGNAL=0$
^VERIFICATION FAILED$
^\[main\.precondition_instance\..*] .* memset destination region writeable: FAILURE$
\*\* 1 of [0-9]+ failed \(.*\)
--
^warning: ignoring
