CORE symex-driven-lazy-loading-expected-failure
Gn.class
--no-lazy-methods --no-refine-strings
^EXIT=10$
^SIGNAL=0$
.*file Gn.java line 11 function java::Gn.foo1:\(LGn;\)V.*SUCCESS
.*file Gn.java line 15 function java::Gn.main:\(\[Ljava/lang/String;\)V.*FAILURE
--
--
This fails under symex-driven lazy loading because the FAILED blocks occur in functions that are unreachable
from the entry point, so with symex-driven loading the functions foo1 and the constructor don't get created at all.
