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
100.0
 prover/data_structures/pd_tree.rs
2
100.0
 cnf/formula_renaming.rs
3
100.0
 prover/data_structures/literal.rs
Jobs
ID Job ID Ran Files Coverage
1 109.1 0
97.19
 Travis Job 109.1
2 109.2 0
97.19
 Travis Job 109.2
3 109.3 0
95.69
 Travis Job 109.3
Source Files on build 109
Detailed source file information is not available for this build.