mAarnos / Serkr / 70
96%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 44
Run time 4min
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
70

Pull #16

travis-ci

mAarnos 
Fixed the script for analyzing stuff
Pull Request #16: Statistics reporting

2679 of 2777 relevant lines covered (96.47%)

4.96 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
91.67
 0.0% utils/macros.rs
2
83.33
 0.0% prover/proof_result.rs
3
99.07
 -0.03% prover/proof_search.rs
Jobs
ID Job ID Ran Files Coverage
1 70.1 44
96.36
 Travis Job 70.1
2 70.2 44
96.47
 Travis Job 70.2
3 70.3 43
96.5
 Travis Job 70.3
Source Files on build 70
Coverage ∆ File Lines Relevant Covered Missed Hits/Line