FUTURE
test.c
--refine-strings --string-max-length 1000
^EXIT=10$
^SIGNAL=0$
^\[main.assertion.1\] assertion c == .p.: SUCCESS$
^\[main.assertion.2\] assertion __CPROVER_char_at\(u,2\) == .p.: FAILURE$
--
