CORE
test_int.class
--pass
^EXIT=10$
^SIGNAL=0$
^\[assertion.1\] assertion at file test_int.java line 8: SUCCESS$
^\[assertion.2\] assertion at file test_int.java line 9: SUCCESS$
^\[assertion.3\] assertion at file test_int.java line 12: SUCCESS$
^\[assertion.4\] assertion at file test_int.java line 15: SUCCESS$
^\[assertion.5\] assertion at file test_int.java line 18: SUCCESS$
^\[assertion.6\] assertion at file test_int.java line 21: SUCCESS$
^\[assertion.7\] assertion at file test_int.java line 23: FAILURE$
--
