KNOWNBUG
test.class
--verbosity 10 --function test.check --max-nondet-string-length 1000
^EXIT=10$
^SIGNAL=0$
assertion.* file test.java line 6 .* SUCCESS$
assertion.* file test.java line 7 .* FAILURE$
--
non equal types
