CORE symex-driven-lazy-loading-expected-failure
SymStream.class
--no-lazy-methods --verbosity 10 --show-goto-functions
^EXIT=0
^SIGNAL=0
--
--
just to test that it doesn't crash in this situation, cf. TG-2684
Doesn't work with symex-driven loading because there is no entry point (we want to load the entire class)
