Bump coverage-model pointer.