[tor-commits] [tor/master] cov-diff: better handle the case where a file stops having coverage