CORE
main.c

^\*\* Results:$
^\[main.assertion.1\] assertion a\[.*\]\[.*\] > 10: SUCCESS$
^\[main.assertion.2\] assertion tmp_if_expr$3: SUCCESS$
^\[main.assertion.3\] assertion tmp_if_expr$6: SUCCESS$
^\[main.assertion.4\] assertion tmp_if_expr$9: SUCCESS$
^\[main.assertion.5\] assertion tmp_if_expr$12: SUCCESS$
^\[main.assertion.6\] assertion tmp_if_expr$15: SUCCESS$

^\*\* 0 of 6 failed (1 iteration)$
^\VERIFICATION SUCCESSFUL$
