mAarnos / Serkr / 70

70

Pull #16

travis-ci

mAarnos 
Fixed the script for analyzing stuff
Pull Request #16: Statistics reporting

2679 of 2777 relevant lines covered (96.47%)

4.96 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

99.07
src/prover/proof_search.rs


Build SHA Not Found

The commit SHA "237936ab7f6413689a310b0e6194d5a2dd690f48" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.