Udopia / candy-kingdom
86%
master: 83%

LAST BUILD BRANCH: develop
DEFAULT BRANCH: master
Repo Added
Files 81
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 SAT2019
branch: SAT2019
CHANGE BRANCH
x

555

push

travis-ci

Udopia 
reduce verbositiy of solvers

3871 of 4516 relevant lines covered (85.72%)

1870410.48 hits per line

Relevant lines Covered
4516 RELEVANT LINES 3871 COVERED LINES
1870410.48 HITS PER LINE
Source Files on SAT2019
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
555 SAT2019 reduce verbositiy of solvers push Udopia travis-ci pending completion  
See All Builds (584)