msoos / cryptominisat
62%
master: 36%

LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: master
Repo Added
Files 588
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 switching_glue_geom
branch: switching_glue_geom
CHANGE BRANCH
x

838

push

travis-ci

msoos 
Switching doesn't really help :(

8088 of 12970 relevant lines covered (62.36%)

2711053.98 hits per line

Relevant lines Covered
12970 RELEVANT LINES 8088 COVERED LINES
2711053.98 HITS PER LINE
Source Files on switching_glue_geom
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
838 switching_glue_geom Switching doesn't really help :( push msoos travis-ci pending completion  
837 switching_glue_geom Adding 3-level reduceDB push msoos travis-ci pending completion  
See All Builds (969)