FUTURE
test.c
--refine-strings --string-max-length 1000
^EXIT=10$
^SIGNAL=0$
^\[main.assertion.1\] assertion __CPROVER_char_at\(s,0\) == .1.: SUCCESS$
^\[main.assertion.2\] assertion __CPROVER_char_at\(s,1\) == .2.: SUCCESS$
^\[main.assertion.3\] assertion j == 234: SUCCESS$
^\[main.assertion.4\] assertion j < 233 \|\| __CPROVER_char_at\(s,2\) == .4.: FAILURE$
--
