CORE
main.c

^\*\* Results:$
^\[main.assertion.1\] .* failure 1: FAILURE$
^\[main.assertion.2\] .* failure 2: FAILURE$
^\[main.assertion.3\] .* success 1: SUCCESS$
^\[main.assertion.4\] .* failure 3: FAILURE$
^\[main.assertion.5\] .* success 2: SUCCESS$
^\*\* 3 of 5 failed
^VERIFICATION FAILED$
^EXIT=10$
^SIGNAL=0$
--
^warning: ignoring
