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
100.0
 prover/proof_search.rs
5
100.0
 cnf/nnf.rs
8
100.0
 cnf/simplify.rs
Jobs
ID Job ID Ran Files Coverage
3 111.3 0
95.69
 Travis Job 111.3
Source Files on build 111
Detailed source file information is not available for this build.