KNOWNBUG
Test.class
--verbosity 10 --max-nondet-string-length 1000 --function Test.main
^EXIT=10$
^SIGNAL=0$
^\[.*assertion.1\].* line 10.* SUCCESS$
^\[.*assertion.2\].* line 13.* FAILURE$
--
non equal types
--
Issue #664 is about turning these tests on
