text: CORE
  Test_binary3
  --max-nondet-string-length 1000 --function Test_binary3.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
  