CORE symex-driven-lazy-loading-expected-failure
main.class
--no-lazy-methods --java-load-class package_friendly1 --java-load-class package_friendly2 --show-goto-functions
^main[.]main[\(].*[\)].*$
^package_friendly2[.]operation2[\(][\)].*$
^EXIT=0$
^SIGNAL=0$
--
^warning: ignoring
--
This doesn't work under symex-driven lazy loading because no entry-point function is given.
