KNOWNBUG
Test.class
--max-nondet-string-length 5 --unwind 10 --function Test.verify --throw-runtime-exceptions
^EXIT=0$
^SIGNAL=0$
assertion at file Test.java line 60 .* SUCCESS
--
--
null case not handled currently
TG-2179

