KNOWNBUG
StringIndexMethods04.class
--max-nondet-string-length 1000 --function StringIndexMethods04.mainBug
^EXIT=10$
^SIGNAL=0$
^\[.*assertion\.1\] .* line 6 .* FAILURE$
^VERIFICATION FAILED$
--
^warning: ignoring
--
This test can randomly fail because the solver does not come up with the right
model on the first iteration and the constraint instatiation adds too many things.
