TESTDONE: 1739 tests were considered
TESTDONE: 1443 tests out of 1446 reported OK: 99%
TESTFAIL: These test cases failed: 1560 2056 2057