mAarnos / Serkr / 83

83

Pull #20

travis-ci

mAarnos 
Fixed some small inefficiencies
Pull Request #20: Clause selection improvements

2850 of 2976 relevant lines covered (95.77%)

4.78 hits per line

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

86.67
src/prover/data_structures/literal.rs


Build SHA Not Found

The commit SHA "3a1075e39b92a78ececc629f4bf66deab7240aa9" 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.