coverage flushes buffers to allow reporting results so far on interruption