CORE
test_equal.class
--verbosity 10 --max-nondet-string-length 100 --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
^EXIT=10$
^SIGNAL=0$
^\[.*assertion.1\].* line 8.* FAILURE$
^\[.*assertion.2\].* line 9.* SUCCESS$
--
non equal types
