CORE symex-driven-lazy-loading-expected-failure
method_parameters.class
--verbosity 10 --show-symbol-table
^EXIT=0$
^SIGNAL=0$
--
--
The purpose of the test is ensuring that the bytecode -> symbol table AST
generation happens correctly. The generated .class file DOES contain LVTs, i.e.,
it has been compiled with with "javac -g".

This doesn't work under symex-driven lazy loading because no entry-point function is given.
