CORE
test_append_string.class
 --max-nondet-string-length 10 --function test_append_string.check --java-assume-inputs-non-null
^EXIT=10$
^SIGNAL=0$
^\[.*assertion.*\].* line 22.* SUCCESS$
^\[.*assertion.*\].* line 23.* SUCCESS$
^\[.*assertion.*\].* line 24.* SUCCESS$
^\[.*assertion.*\].* line 25.* FAILURE$
--
non equal types
