These are saved in the .log files by the test-driver anyway and do not
clutter the screen output for the user. But having them can be useful to
find out how some test failed.