Code coverage

The first code coverage report, generated on June 28th, is complete! You may view it here.