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 (2 iterations)$
^\VERIFICATION FAILED$
