CORE
test_case.class
--verbosity 10 --max-nondet-string-length 1000 --function test_case.main --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
^EXIT=10$
^SIGNAL=0$
assertion.* file test_case.java line 10 .* SUCCESS$
assertion.* file test_case.java line 11 .* SUCCESS$
assertion.* file test_case.java line 12 .* SUCCESS$
assertion.* file test_case.java line 16 .* FAILURE$
assertion.* file test_case.java line 20 .* SUCCESS$
assertion.* file test_case.java line 24 .* FAILURE$
--
non equal types
