mAarnos / Serkr / 93
96%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Ran
Jobs 3
Files 48
Run time 42s
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
93

push

travis-ci

mAarnos 
Separated subsumption into unit and non-unit

2735 of 2867 relevant lines covered (95.4%)

4.6 hits per line

Jobs
ID Job ID Ran Files Coverage
1 93.1 48
95.4
 Travis Job 93.1
2 93.2 48
95.4
 Travis Job 93.2
3 93.3 48
95.4
 Travis Job 93.3
Source Files on build 93
Coverage ∆ File Lines Relevant Covered Missed Hits/Line