CORE
Test_octal1.class
--verbosity 10 --max-nondet-string-length 100 --function Test_octal1.main --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
^EXIT=10$
^SIGNAL=0$
assertion.* line 7 .* SUCCESS$
assertion.* line 10 .* FAILURE$
--
non equal types
