CORE
test_append_char.class
--verbosity 10 --max-nondet-string-length 1000 --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
^EXIT=10$
^SIGNAL=0$
assertion.* file test_append_char.java line 23 .* SUCCESS
assertion.* file test_append_char.java line 25 .* FAILURE
--
non equal types
