CORE
main.c

^\*\* Results:$
^\[main.assertion.1\] assertion x: SUCCESS$
^\[main.assertion.2\] assertion y: FAILURE$
^\[main.assertion.3\] assertion z1: SUCCESS$
^\[main.assertion.4\] assertion z2: SUCCESS$

^\*\* 1 of 4 failed (2 iterations)$
^\VERIFICATION FAILED$
