CORE symex-driven-lazy-loading-expected-failure
test.class
--verbosity 10 --function test.f --lazy-methods-extra-entry-point 'test.sety:\(I\)V' --lazy-methods-extra-entry-point 'test.sety:\(F\)V'
^EXIT=0$
^SIGNAL=0$
VERIFICATION SUCCESSFUL
CI lazy methods: elaborate java::test\.sety:\(I\)V
CI lazy methods: elaborate java::test\.sety:\(F\)V
--
CI lazy methods: elaborate java::test\.setx:\(I\)V
--
This doesn't work under symex-driven lazy loading because it is incompatible with lazy-methods (default)
