CORE
Test.class
--function Test.check --max-nondet-string-length 100
^EXIT=10$
^SIGNAL=0$
assertion at file Test.java line 11 .* SUCCESS$
assertion at file Test.java line 14 .* FAILURE$
assertion at file Test.java line 18 .* SUCCESS$
assertion at file Test.java line 20 .* FAILURE$
