KNOWNBUG
Main.class
--all-properties --unwind 2
^EXIT=10$
^SIGNAL=0$
^\[assertion.1\] assertion at file Main.java line 5: SUCCESS$
^\[assertion.2\] assertion at file Main.java line 8: SUCCESS$
^\[assertion.3\] assertion at file Main.java line 10: FAILURE$
^\[assertion.4\] assertion at file Main.java line 13: SUCCESS$
--
^warning: ignoring
