CORE
test.c
--pass
^EXIT=10$
^SIGNAL=0$
^\[main.assertion.1\] assertion __CPROVER_uninterpreted_string_length_func(s3) == 0: FAILURE$
^\[main.assertion.2\] assertion __CPROVER_uninterpreted_string_length_func(s3) < 2: SUCCESS$
^VERIFICATION FAILED$

