CORE
Test.class
--function Test.check2 --unwind 10 --max-nondet-string-length 10 --java-assume-inputs-non-null
^EXIT=10$
^SIGNAL=0$
assertion at file Test.java line 35 .* SUCCESS
assertion at file Test.java line 37 .* SUCCESS
assertion at file Test.java line 39 .* SUCCESS
assertion at file Test.java line 41 .* SUCCESS
assertion at file Test.java line 43 .* SUCCESS
assertion at file Test.java line 45 .* SUCCESS
assertion at file Test.java line 46 .* FAILURE
^VERIFICATION FAILED$
--
