# Coverage directory used by tools like istanbul
coverage