CORE
Test.class
--function Test.main --show-vcc
^EXIT=0$
^SIGNAL=0$
--
invalid
--
This checks that no invalid_object references are generated -- these would be created if
symex thought it might follow a null or other invalid pointer, whereas Java dereferences
should always be checked not-null beforehand.
