logic-ng / LogicNG
97%
master: 97%

LAST BUILD BRANCH: dimacsfilewriter_singleclausebug
DEFAULT BRANCH: master
Repo Added
Files 272
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 development
branch: development
CHANGE BRANCH
x

5f22d1a9dac5630008b7fabe

push

wercker

Steffen Hildebrandt 
added build workflow for GitHub

15235 of 15678 relevant lines covered (97.17%)

0.97 hits per line

Relevant lines Covered
15678 RELEVANT LINES 15235 COVERED LINES
0.97 HITS PER LINE
Source Files on development
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
5f22d1a9... development added build workflow for GitHub push Steffen Hildebrandt wercker pending completion  
5f22cd64... development added build workflow for GitHub push Steffen Hildebrandt wercker pending completion  
5f21f653... development Final 2.0.0 release push Christoph Zengler wercker pending completion  
5f21f583... development Formatting fixes and added license headers push Christoph Zengler wercker pending completion  
5f21ea49... development more test coverage push Steffen Hildebrandt wercker pending completion  
5e22cafd... development adjusted README push Christoph Zengler wercker pending completion  
5dd3be2d... development Merge branch 'feature/improved-handlers' into development push Steffen Hildebrandt wercker pending completion  
5d7feec5... development Adjusted selection solving for other solvers push Christoph Zengler wercker pending completion  
5d7f2aea... development Set the solver to undef before solving with selection order push Christoph Zengler wercker pending completion  
5d7b96f9... development added unit tests for selection order push Rouven Walter wercker pending completion  
See All Builds (469)