CORE symex-driven-lazy-loading-expected-failure
A.class
--reachability-slice --function A.foo --show-goto-functions
= \(int\)\(short\)1001
= \(int\)\(short\)1002
= \(int\)\(short\)1003
= \(int\)\(short\)1004
= \(int\)\(short\)1005
--
--
Doesn't work with symex-driven lazy loading because the reachability slicer is a whole-program pass.
