Per issue #5. Generating coverage files.