CORE
Main.class
--function Main.main
^EXIT=10$
^SIGNAL=0$
^VERIFICATION FAILED$
assertion at file Main\.java line 10 function .* bytecode-index 7: FAILURE
assertion at file Main\.java line 14 function .* bytecode-index 27: FAILURE
\*\* 2 of .* failed
--
^warning: ignoring
