added: info for generating coverage reports