CORE
Test.class
--max-nondet-string-length 10 --unwind 10 --function Test.check
^EXIT=10$
^SIGNAL=0$
assertion at file Test.java line 31 .*: SUCCESS
assertion at file Test.java line 34 .*: FAILURE
--
