CORE
Test.class
--max-nondet-string-length 40 --function Test.check --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
^EXIT=10$
^SIGNAL=0$
assertion at file Test.java line 9 .* SUCCESS
assertion at file Test.java line 11 .* FAILURE
assertion at file Test.java line 13 .* SUCCESS
assertion at file Test.java line 15 .* FAILURE
assertion at file Test.java line 17 .* SUCCESS
assertion at file Test.java line 19 .* FAILURE
--
