THOROUGH
test.class
--verbosity 10 --max-nondet-string-length 1000 --function test.check
^EXIT=10$
^SIGNAL=0$
assertion.* test.java line 8 .* SUCCESS$
assertion.* test.java line 9 .* SUCCESS$
assertion.* test.java line 10 .* SUCCESS$
assertion.* test.java line 11 .* FAILURE$
--
non equal types
