TESTDONE: 1771 tests were considered
TESTDONE: 1474 tests out of 1477 reported OK: 99%
TESTFAIL: These test cases failed: 1560 2056 2057