CORE symex-driven-lazy-loading-expected-failure
test.class
--verbosity 10 --function test.test
^EXIT=0$
^SIGNAL=0$
elaborate java::Base\.f:\(\)V
--
elaborate java::Derived\.f:\(\)V
elaborate java::Middle\.f:\(\)V
--
This doesn't work under symex-driven lazy loading because it is incompatible with lazy-methods (default)
