msoos / cryptominisat
57%
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 multilevel_maple
branch: multilevel_maple
CHANGE BRANCH
x

1573

push

travis-ci

msoos 
No zlib in Windows static binary. Doesn't work.

7388 of 12920 relevant lines covered (57.18%)

189655.78 hits per line

Relevant lines Covered
12920 RELEVANT LINES 7388 COVERED LINES
189655.78 HITS PER LINE
Source Files on multilevel_maple
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1573 multilevel_maple No zlib in Windows static binary. Doesn't work. push msoos travis-ci pending completion  
1572 multilevel_maple PEP8 push msoos travis-ci pending completion  
1571 multilevel_maple Fixing PEP8 push msoos travis-ci pending completion  
1570 multilevel_maple Trying to fix AppVeyor push msoos travis-ci pending completion  
1569 multilevel_maple Removing double-double colons push msoos travis-ci pending completion  
1568 multilevel_maple Adding libboost to recommended install push msoos travis-ci pending completion  
1567 multilevel_maple Fixing indentation of python script push msoos travis-ci pending completion  
1566 multilevel_maple Using the standard __main__ trick in Python push msoos travis-ci pending completion  
1565 multilevel_maple Using default values push msoos travis-ci pending completion  
1564 multilevel_maple Only adjust the phase if we have finished without l_True/l_False push msoos travis-ci pending completion  
See All Builds (969)