Today Makefile result parsing can not handle problem list verification. It will always succeed:

make run-test TEST="${test}" JTREG="RETAIN=all;VERBOSE=all;OPTIONS=--verify-exclude"

...
verification failure
...

==============================
Test summary
==============================
   TEST TOTAL PASS FAIL ERROR SKIP
   jtreg:open/test/hotspot/jtreg/vmTestbase/gc/gctests/FinalizeTest04/FinalizeTest04.java
                                                         0 0 0 0 0
==============================
TEST SUCCESS

This will become more important when JDK-8357050 is implemented