mAarnos / Serkr
96%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Repo Added
Files 47
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

LAST BUILD ON BRANCH clause-selection
branch: clause-selection
CHANGE BRANCH
x

82

push

travis-ci

mAarnos 
Fixed some small inefficiencies

2850 of 2976 relevant lines covered (95.77%)

4.78 hits per line

Relevant lines Covered
2976 RELEVANT LINES 2850 COVERED LINES
4.78 HITS PER LINE
Source Files on clause-selection
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
82 clause-selection Fixed some small inefficiencies push mAarnos travis-ci pending completion  
81 clause-selection Improved infrastructure for clause selection push mAarnos travis-ci pending completion  
See All Builds (56)