CORE
test_length.class
--verbosity 10 --max-nondet-string-length 1000 --function test_length.main
^EXIT=10$
^SIGNAL=0$
^VERIFICATION FAILED$
\[.*assertion\.1\] .* line 7 .*: SUCCESS
\[.*assertion\.2\] .* line 8 .*: FAILURE
--
non equal types
