CORE
test.class
--function test.main
^EXIT=10$
^SIGNAL=0$
assertion at file test\.java line 7 function java::test\.main:\(\)V bytecode-index 13: SUCCESS
assertion at file test\.java line 10 function java::test\.main:\(\)V bytecode-index 26: FAILURE
^VERIFICATION FAILED$
--
^warning: ignoring
