mAarnos / Serkr / 109
96%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Ran
Jobs 3
Files 47
Run time 19s
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
109

push

travis-ci

mAarnos 
Fixed clippy lints etc.

3051 of 3186 relevant lines covered (95.76%)

5.69 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
98.67
 0.0% prover/data_structures/pd_tree.rs
2
96.55
 0.0% cnf/formula_renaming.rs
3
86.0
 0.0% prover/data_structures/literal.rs
Jobs
ID Job ID Ran Files Coverage
1 109.1 47
97.19
 Travis Job 109.1
2 109.2 47
97.19
 Travis Job 109.2
3 109.3 47
95.69
 Travis Job 109.3
Source Files on build 109
Coverage ∆ File Lines Relevant Covered Missed Hits/Line