TESTDONE: 1795 tests were considered
TESTDONE: 1517 tests out of 1518 reported OK: 99%
TESTFAIL: These test cases failed: 1560