A code coverage tool