FUTURE
test.c
--refine-strings --string-max-length 1000
^EXIT=10$
^SIGNAL=0$
^\[main.assertion.1\] assertion __CPROVER_string_length\(s3\) == 0: FAILURE$
^\[main.assertion.2\] assertion __CPROVER_string_length\(s3\) < 2: SUCCESS$
^VERIFICATION FAILED$
