CORE
ArithmeticExceptionTest.class
--throw-runtime-exceptions
^EXIT=10$
^SIGNAL=0$
^.*assertion at file ArithmeticExceptionTest.java line 9 function.*: FAILURE$
^VERIFICATION FAILED
--
^warning: ignoring
