mAarnos / Serkr / 111
96%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Ran
Jobs 1
Files 47
Run time 3s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
111

push

travis-ci

mAarnos 
Switched to the Fowler-Noll-Vo hash function

3020 of 3156 relevant lines covered (95.69%)

2.27 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
99.51
 0.24% prover/proof_search.rs
5
94.07
 -4.24% cnf/nnf.rs
8
95.85
 -2.78% cnf/simplify.rs
Jobs
ID Job ID Ran Files Coverage
3 111.3 47
95.69
 Travis Job 111.3
Source Files on build 111
Coverage ∆ File Lines Relevant Covered Missed Hits/Line