CORE symex-driven-lazy-loading-expected-failure
java/lang/Object.class
--no-lazy-methods
^EXIT=6$
^SIGNAL=0$
^the program has no entry point$
--
^failed to add class symbol java::java\.lang\.Object$
--
symex-driven lazy loading should emit "the program has no entry point" but currently doesn't
