use -Xverify during JUnit tests
1 file changed