push
github
5781 of 6881 relevant lines covered (84.01%)
6678443.2 hits per line
The file "../../../.cargo/registry/src/index.crates.io-6f17d22bba15001f/proptest-1.2.0/src/sugar.rs" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.