Don't need a pin on coverage.
Explicitly mark uncovered paths.