CORE symex-driven-lazy-loading-expected-failure
Test.class
--show-goto-functions --verbosity 10 --function Test.main
^EXIT=0$
^SIGNAL=0$
^CI lazy methods: elaborate java::Test\$intf\.f:\(\)V$
Test\$intf\.f:\(\)V\(\);$
--
--
This doesn't work under symex-driven lazy loading because it is incompatible with lazy-methods (default)
