chiark / gitweb /
More graceful handling of test failure; the exception is now reported