This allows the output of the extra-coverage tests to be checked using the normal run-tests script.
Attach a file by drag & drop or click to upload
