KNOWNBUG
Test2.class
--verbosity 10 --function Test2.main
^EXIT=10$
^SIGNAL=0$
assertion.* line 7 .* SUCCESS$
assertion.* line 10 .* FAILURE$
--
non equal types
--
When max-nondet-string-length is not set, the solver can run out of memory in
an unpredictable way.
